ts can be discovered and  represented in arbitrary
syntactic forms.

In the normal course of inquiry, the fundamental types
of inference proceed in the order:  abduction, deduction,
induction.  However, the same building blocks can be assembled
in other ways to yield different kinds of complex inferences.
Of particular importance for our purposes, reasoning by analogy
can be analyzed as a combination of induction and deduction,
in other words, as the abstraction and application of a rule.
Because a complica