Proofgold Term Root Disambiguation

wceq c7 (co c6 c1 caddc)

as obj
-

as prop
ce7a2..

theory
SetMM

stx
a0443..

address
TMVnS..