Proofgold Term Root Disambiguation

wceq coc (cslot (cdc c1 c1))

as obj
-

as prop
99911..

theory
SetMM

stx
bbd62..

address
TMZ3Z..