y specific data-mining of the system's inference history. It requires the recognition of "Hebbian predicated' of the form: Hebbianlmplication AND Inheritance SA human Inheritance SC human Similarity SB SatisfyingSet Evaluation wants (human, SX) AND Inheritance SA SB Inheritance SC SB The semantics of