Proofgold Term Root Disambiguation

cpell14qr

as obj
bb82c..

as prop
-

theory
SetMM

stx
ebbdd..