Proofgold Term Root Disambiguation

wceq cle (cdif (cxp cxr cxr) (ccnv clt))

as obj
-

as prop
64a17..

theory
SetMM

stx
96135..

address
TMNAX..