Proofgold Term Root Disambiguation

wceq cerq (cin ceq (cxp (cxp cnpi cnpi) cnq))

as obj
-

as prop
7393f..

theory
SetMM

stx
338b7..

address
TMNaW..