Proofgold Term Root Disambiguation

wceq cltq (cin cltpq (cxp cnq cnq))

as obj
-

as prop
f0f1c..

theory
SetMM

stx
338b7..

address
TMcNS..