Proofgold Term Root Disambiguation

wceq c8 (co c7 c1 caddc)

as obj
-

as prop
f64c7..

theory
SetMM

stx
a0443..

address
TMdAL..