Proofgold Term Root Disambiguation

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

as obj
-

as prop
5e815..

theory
SetMM

stx
96135..

address
TMVT5..