Proofgold Term Root Disambiguation

wceq cvsca (cslot c6)

as obj
-

as prop
4d20a..

theory
SetMM

stx
bbd62..

address
TMT3F..