Proofgold Term Root Disambiguation

cmfr

as obj
edcdd..

as prop
-

theory
SetMM

stx
ebbdd..