Proofgold Term Root Disambiguation

clmi

as obj
7b854..

as prop
-

theory
SetMM

stx
ebbdd..