Unification

Kay's functional-unification grammar notation [5] is a way of expressing grammars which relies on very few primitive notions. The primary syntactic structure is the feature structure, which can be visualised …...

Although disjunction has been used in several unification- based grammar formalisms, existing methods of unification have been unsatisfactory for descriptions containing large quantities of disjunction, because they require exponential time. …...

Current complex-feature based grammars use a sin- gle procedure--unification--for a multitude of pur- poses, among them, enforcing formal agreement between purely syntactic features. This paper presents evidence from several natural …...

Unification is often the appropriate method for expressing relations between representations in the form of feature structures; however, there are circumstances in which a different approach is desirable. A declarative …...

Motivation for including relational constraints other than equality within grammatical formalisms has come from discontinuous constituency and partially free word order for natural languages as well as from the need …...

ProFIT is an extension of Standard Pro- log with Features, Inheritance and Tem- plates. ProFIT Mlows the programmer or grammar developer to declare an in- heritance hierarchy, features and tem- …...

This paper proposes a method for packing fea- ture structures, which automatically collapses equivalent parts of lexical/phrasal feature struc- tures of HPSG into a single packed feature struc- ture. This …...