Proofgold Term Root Disambiguation

wceq c4 (co c3 c1 caddc)

as obj
-

as prop
9d503..

theory
SetMM

stx
a0443..

address
TMJwz..