Creator Douglas Lenat Associations Described in On Automated Scientific Theory Formation: A Case Study Using the AM Program