Proofgold Term Root Disambiguation

wceq c2 (co c1 c1 caddc)

as obj
-

as prop
b5df6..

theory
SetMM

stx
a0443..

address
TMHNV..