Proofgold Term Root Disambiguation

wceq c6 (co c5 c1 caddc)

as obj
-

as prop
26759..

theory
SetMM

stx
a0443..

address
TMcDn..