Proofgold Term Root Disambiguation

cei

as obj
cd9e1..

as prop
-

theory
SetMM

stx
ebbdd..