Proofgold Term Root Disambiguation

coi

as obj
bb341..

as prop
-

theory
SetMM

stx
ebbdd..