<?xml version="1.0" standalone="yes"?>
<Paper uid="P89-1005">
  <Title>Abstract Unification-Based Semantic Interpretation</Title>
  <Section position="8" start_page="40" end_page="40" type="concl">
    <SectionTitle>
6 Conclusions
</SectionTitle>
    <Paragraph position="0"> In this paper we have tried to show that a unification-based approach can provide powerful tools for specifying the semantic interpretation of natural-language expressions, while being just as well founded theoretically as the conventional lambda-calculus-based approach. Although the unification-based approach does not provide a substitute for all uses of lambda expressions in semantic interpretation, we have shown that lambda expressions can be introduced very easily where they are needed. Finally, the unification-based approach provides for a simpler statement of many semantic-interpretation rules, it eliminates many of the lambda reductions needed to express semantic interpretations in their simplest form, and in some cases it allows more general rules than can be stated taking the conventional approach.</Paragraph>
    <Paragraph position="1"> in part by a gift from the Systems Development Foundation and in part by a contract with the Nippon Telegraph and Telephone Corporation.</Paragraph>
  </Section>
class="xml-element"></Paper>