Proofgold Term Root Disambiguation

wceq cxmu (cfv cxrs cvsca)

as obj
-

as prop
ef8a4..

theory
SetMM

stx
2af7b..

address
TMHvN..