Proofgold Term Root Disambiguation

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

as obj
-

as prop
601a7..

theory
SetMM

stx
81cee..

address
TMJu1..