Metaphor, Inference and Domain Independent Mappings
Analogical mapping by constraint satisfaction