Proofgold Term Root Disambiguation

cmgmhom

as obj
5818a..

as prop
-

theory
SetMM

stx
ebbdd..