Proofgold Term Root Disambiguation

cismty

as obj
1b7ed..

as prop
-

theory
SetMM

stx
ebbdd..