Proofgold Term Root Disambiguation

cmpps

as obj
ed4aa..

as prop
-

theory
SetMM

stx
ebbdd..