Proofgold Term Root Disambiguation

wceq cnpi (cdif com (csn c0))

as obj
-

as prop
dbcab..

theory
SetMM

stx
c8ab1..

address
TML7a..