Proofgold Term Root Disambiguation

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

as obj
-

as prop
cfdab..

theory
SetMM

stx
81cee..

address
TMFEt..