Rational argument, rational inference
Analogical mapping by constraint satisfaction