Proofgold Term Root Disambiguation

wceq cple (cslot (cdc c1 cc0))

as obj
-

as prop
6d369..

theory
SetMM

stx
bbd62..

address
TMFz8..