Proofgold Term Root Disambiguation

wceq cgic (cima (ccnv cgim) (cdif cvv c1o))

as obj
-

as prop
59371..

theory
SetMM

stx
ac091..

address
TMLgy..