Proofgold Term Root Disambiguation

cgoe

as obj
55f9e..

as prop
-

theory
SetMM

stx
ebbdd..