Proofgold Term Root Disambiguation

wceq cds (cslot (cdc c1 c2))

as obj
-

as prop
d5cc3..

theory
SetMM

stx
bbd62..

address
TMMoH..