Proofgold Term Root Disambiguation

wceq cts (cslot c9)

as obj
-

as prop
8ee0a..

theory
SetMM

stx
bbd62..

address
TMbws..