Proofgold Term Root Disambiguation

wceq clti (cin cep (cxp cnpi cnpi))

as obj
-

as prop
7fbaf..

theory
SetMM

stx
c8ab1..

address
TMJxv..