Proofgold Term Root Disambiguation

cmgfs

as obj
2b654..

as prop
-

theory
SetMM

stx
ebbdd..