Rosenschein, Stanley J.Goodridge, Andrew2008-09-101982Stanley J. Rosenschein and Stuart M. Shieber. Translating English into logical form. In Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, pages 1-8, University of Toronto, Toronto, Canada, June 16-18 1982.0736-587Xhttp://nrs.harvard.edu/urn-3:HUL.InstRepos:2051751A scheme for syntax-directed translation that mirrors compositional model-theoretic semantics is discussed. The scheme is the basis for an English translation system called PATR and was used to specify a semantically interesting fragment of English, including such constructs as tense, aspect, modals, and various lexically controlled verb complement structures. PATR was embedded in a question-answering system that replied appropriately to questions requiring the computation of logical entailments.en-USConference Paper10.3115/981251.981253