Proofgold Term Root Disambiguation

cbnd

as obj
16e57..

as prop
-

theory
SetMM

stx
ebbdd..