Proofgold Term Root Disambiguation

wceq c5 (co c4 c1 caddc)

as obj
-

as prop
b328d..

theory
SetMM

stx
a0443..

address
TMdXq..