Proofgold Term Root Disambiguation

wceq cedgf (cslot (cdc c1 c8))

as obj
-

as prop
be63d..

theory
SetMM

stx
aa025..

address
TMTdk..