MYCIN output augmented by rule-learning, from Ph.D. thesis work of Davis