Analogical mapping by constraint satisfaction
Schema induction and analogical transfer