Proofgold Term Root Disambiguation

wceq cgzp (cgox (cgol (co (cgol (co (co c1o c2o cgoe) (co c1o c0 cgoe) cgob) c1o) (co c2o c1o cgoe) cgoi) c2o) c1o)

as obj
-

as prop
350b3..

theory
SetMM

stx
81cee..

address
TMUvi..