Proofgold Term Root Disambiguation

cmntop

as obj
c8c2f..

as prop
-

theory
SetMM

stx
ebbdd..