Proofgold Term Root Disambiguation

cxpc

as obj
2948d..

as prop
-

theory
SetMM

stx
ebbdd..