Proofgold Term Root Disambiguation

wceq c10 (co c9 c1 caddc)

as obj
-

as prop
5076b..

theory
SetMM

stx
a0443..

address
TMX2c..