A computational theory of metaphor comprehension and analogical reasoning (semantics, predicate-calculus, cognitive, artificial intelligence, natural language processing)