Proofgold Term Root Disambiguation

wceq csle (cdif (cxp csur csur) (ccnv cslt))

as obj
-

as prop
13d5d..

theory
SetMM

stx
a24a7..

address
TMKai..