Proofgold Term Root Disambiguation

wceq cip (cslot c8)

as obj
-

as prop
b677a..

theory
SetMM

stx
bbd62..

address
TMFzK..