Proofgold Term Root Disambiguation

wceq csdm (cdif cdom cen)

as obj
-

as prop
97946..

theory
SetMM

stx
ebc38..

address
TMcMw..