<?xml version="1.0" standalone="yes"?>
<Paper uid="P92-1027">
  <Title>A UNIFICATION-BASED SEMANTIC INTERPRETATION FOR COORDINATE CONSTRUCTS</Title>
  <Section position="6" start_page="214" end_page="214" type="concl">
    <SectionTitle>
4 Conclusion
</SectionTitle>
    <Paragraph position="0"> The system described in this paper is implemented in Quintus Prolog. We expect that the approach can be extended to any lexicon-based grammar of the same power as CCG if it provides means for term unification.</Paragraph>
    <Paragraph position="1"> The reason we choose to eliminate all the lambda expressions is that it allows uniform treatment within first-order unification, since Jowsey's results suggest that in other respects natural language semantics can be characterized in a first-order logic. As an alternative, we could choose to enforce uniform treatment within second-order unification, using the idea for example in Nadathur &amp; Miller \[1988\]. Although we leave this possibility for future research, we believe that this option might turn out to be more appropriate in terms of elegance of the approach. And the resulting conceptual clarity might be exploited to design a schema for generating these entries for &amp;quot;and&amp;quot;. the content. I am also very grateful to Dr. Mark Johnson, who suggested, and took pains of going over in detail, another way of presenting the thesis, that resulted in the material in the introduction section. All errors are however entirely mine. The author was supported by the ARO grant DAAL0389-C-0031PRI. null</Paragraph>
  </Section>
class="xml-element"></Paper>