Proofgold Term Root Disambiguation

wceq c3 (co c2 c1 caddc)

as obj
-

as prop
3816d..

theory
SetMM

stx
a0443..

address
TMLQX..