Proofgold Term Root Disambiguation

wceq cmi (cres comu (cxp cnpi cnpi))

as obj
-

as prop
7c727..

theory
SetMM

stx
c8ab1..

address
TMa2w..