Proofgold Term Root Disambiguation

wceq ccnvrefrels (cin ccnvrefs crels)

as obj
-

as prop
d4d10..

theory
SetMM

stx
5d0e3..

address
TMWpT..