<?xml version="1.0" standalone="yes"?>
<Paper uid="C92-4184">
  <Title>JAUNT: A Constraint Solver for Disjunctive Feature Structures</Title>
  <Section position="6" start_page="0" end_page="0" type="concl">
    <SectionTitle>
5. Conclusion
</SectionTitle>
    <Paragraph position="0"> We have described a constraint solver for efficiently processing ambi~nlties in natural language sentences.</Paragraph>
    <Paragraph position="1"> Disambignation is dntm by dynamically adding new constraints while the constraint satisfaction algorithm mainteoius local consistency. The system is actually bnldemented and used in two macl6ue translatiun systems. null</Paragraph>
  </Section>
class="xml-element"></Paper>