Exemplar-Based Reasoning with the Shortest Derivation