Proofgold Term Root Disambiguation

wceq cmsy (cslot c6)

as obj
-

as prop
aac09..

theory
SetMM

stx
74203..

address
TMbqJ..