Generalizing the Explanation to an Analogy Criterion and Learning a PVS Rule