Formal Reasoning and Language Understanding System Raymond Reiter author 1975 text Theoretical Issues in Natural Language Processing B L Nash-Webber editor Roger Schank editor conference publication reiter-1975-formal https://aclanthology.org/T75-2035/ 1975