Proofgold Term Root Disambiguation

wceq c1r (cec (cop (co c1p c1p cpp) c1p) cer)

as obj
-

as prop
72aff..

theory
SetMM

stx
96135..

address
TMGkG..