Proofgold Term Root Disambiguation

wceq cmty (cslot c3)

as obj
-

as prop
d5246..

theory
SetMM

stx
81cee..

address
TMFvt..