Proofgold Term Root Disambiguation

cdsmm

as obj
19a57..

as prop
-

theory
SetMM

stx
ebbdd..