Lenat's thesis work on AM (slides)