Proofgold Term Root Disambiguation

wceq clng (cslot (cdc c1 c7))

as obj
-

as prop
3eac0..

theory
SetMM

stx
cf00c..

address
TMGsB..