Proofgold Term Root Disambiguation

cmn1

as obj
112ff..

as prop
-

theory
SetMM

stx
ebbdd..