Proofgold Term Root Disambiguation

wceq chmph (cima (ccnv chmeo) (cdif cvv c1o))

as obj
-

as prop
2e4e0..

theory
SetMM

stx
8519a..

address
TMM7c..