Proofgold Term Root Disambiguation

cstrkge

as obj
bc2a0..

as prop
-

theory
SetMM

stx
ebbdd..