Proofgold Term Root Disambiguation

wceq cplq (cres (ccom cerq cplpq) (cxp cnq cnq))

as obj
-

as prop
642fd..

theory
SetMM

stx
338b7..

address
TMFL2..