Proofgold Term Root Disambiguation

wceq cgzi (cgox (co (co c0 c1o cgoe) (cgol (co (co c2o c1o cgoe) (cgox (co (co c2o c0 cgoe) (co c0 c1o cgoe) cgoa) c0) cgoi) c2o) cgoa) c1o)

as obj
-

as prop
d556c..

theory
SetMM

stx
81cee..

address
TMcAZ..