On the Logical Formalization of Analogies and Theory Blending in the HDTP Framework