Proofgold Term Root Disambiguation

wceq crels (cpw (cxp cvv cvv))

as obj
-

as prop
65999..

theory
SetMM

stx
5d0e3..

address
TMVAR..