ই-মেইল নথি: An approach to evaluating heuristics in abduction: a case study using RedSoar--an abductive system for red blood cell antibody identification.