Proofgold Term Root Disambiguation

wceq clmic (cima (ccnv clmim) (cdif cvv c1o))

as obj
-

as prop
7f322..

theory
SetMM

stx
257fe..

address
TMKrD..