Proofgold Term Root Disambiguation

cds

as obj
5bd55..

as prop
-

theory
SetMM

stx
ebbdd..