Generalizing MYCIN