Proofgold Term Root Disambiguation

wceq cpli (cres coa (cxp cnpi cnpi))

as obj
-

as prop
2dc42..

theory
SetMM

stx
c8ab1..

address
TMPA4..