Analogical Mapping by Constraint Satisfaction | Synapse