Proofgold Term Root Disambiguation

wceq c9 (co c8 c1 caddc)

as obj
-

as prop
96bdb..

theory
SetMM

stx
a0443..

address
TMQKZ..