<?xml version="1.0" standalone="yes"?>
<Paper uid="P87-1032">
  <Title>INCORPORATING INHERITANCE AND FEATURE STRUCTURES INTO A LOGIC GRAMMAR FORMALISM</Title>
  <Section position="3" start_page="0" end_page="0" type="intro">
    <SectionTitle>
INTRODUCTION
</SectionTitle>
    <Paragraph position="0"> The Inheritance Grammar (IG) formalism is an extension of Hassan Ait-Kaci's work on #/terms (Ait-Kaci, 1984; Ait-Kaci and Nasr, 1986). A e-term is an informational structure similar to both the feature structure of PATR-II (Shieber, 1985; Shieber, et al, 1986) and the first-order term of logic, e-terms are ordered by subsumption and form a lattice in which unification of #/-terms amounts to greatest lower bounds (GLB, \[-'\]). In Inheritance Grammar, #/terms are incorporated into a computational paradigm similar to the Definite Clause Grammar (DCG) formalism (Pereira and Warren, 1980). Unlike feature structures and first-order terms, the atomic symbols of #/-terms are ordered in an IS-A taxonomy, a distinction that is useful in performing semantic type-class reasoning during grammatical analysis. We begin by discussing this ordering.</Paragraph>
  </Section>
class="xml-element"></Paper>