<?xml version="1.0" standalone="yes"?>
<Paper uid="P97-1053">
  <Title>A Uniform Approach to Underspecification and Parallelism</Title>
  <Section position="6" start_page="415" end_page="415" type="concl">
    <SectionTitle>
5 Outlook
</SectionTitle>
    <Paragraph position="0"> Extensions of context unification may be useful for our applications. For gapping constructions, contexts with multiple holes need to be considered. The algorithm for context unification described in the complete version of (Niehren, Pinkal, and Ruhrberg, 1997) makes use of contexts with multiple holes in any case.</Paragraph>
    <Paragraph position="1"> So far our treatment of ellipsis does not capture strict-sloppy ambiguities if that ambiguity is not postulated for the source clause of the ellipsis construction. We believe that the ambiguity can be integrated into the framework of context unification without making such a problematic assumption. This requires modifying the parallelism requirements in an appropriate way. We hope that while sticking to linear solutions only, one may be able to introduce such ambiguities in a very controlled way, thus avoiding the overgeneration problems that come from freely abstracting multiple variable occurrences. This work is currently in progress, and a deeper comparison between the approaches has yet to be carried out.</Paragraph>
    <Paragraph position="2"> An implementation of a semi-decision procedure for context unification has been carried out by Jordi L6vy, and we applied it successfully to some simple ellipsis examples. Further experimentation is needed. Hopefully there are decidable fragments of the context unification problem that are empirically adequate for the phenomena we wish to model.</Paragraph>
  </Section>
class="xml-element"></Paper>