This paper presents a grammar formalism for natural language analysis, called extraposition grammars (XGs), based on the subset of predicate calculus known as definite, or Horn, clauses. It is argued that certain important linguistic phenomena, collectively known in transformational grammar as left extra- position, can be described better in XGs than in earlier grammar formalisms based on definite clauses
Stored only when both papers are in the corpus — 109 citations exist upstream.