Proofgold Term Root Disambiguation

wceq cnmcv c2nd

as obj
-

as prop
cb07e..

theory
SetMM

stx
d4238..

address
TMdUT..