Proofgold Term Root Disambiguation

chmeo

as obj
1d3b1..

as prop
-

theory
SetMM

stx
ebbdd..