Using Two Level Abduction to Decide Similarity of Cases