Proofgold Term Root Disambiguation

wceq cbs (cslot c1)

as obj
-

as prop
3d4dd..

theory
SetMM

stx
fa8d9..

address
TMF5W..