Statistics for Knowledge base verification in an expert system shell