---
title: "Processing English With a Generalized Phrase Structure Grammar"
description: "The paper reports interim progress from a project at Hewlett-Packard's Computer Research Center… 12 references, cited by 11 papers here."
authors: ["Jean Mark Gawron", "Jonathan King", "John Lamping", "Egon Loebner", "E. Anne Paulson", "Geoffrey K. Pullum", "Ivan A. Sag", "Thomas Wasow"]
year: 1982
venue: "20th Annual Meeting of the Association for Computational Linguistics"
source: "https://aclanthology.org/P82-1014/"
doi: "10.3115/981251.981269"
licence: "CC BY-NC-SA 3.0 (ACL Anthology, before 2016)"
licence_url: "https://creativecommons.org/licenses/by-nc-sa/3.0/"
summary_licence: "Elamur Cosmic License"
canonical: "https://research.elamur.ai/free/en/papers/gawron-1982-processing-english-generalized-phrase-structure/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/gawron-1982-processing-english-generalized-phrase-structure/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [1982](https://md.research.elamur.ai/free/en/papers/1982/) / Processing English With a Generalized Phrase Structure Grammar

# Processing English With a Generalized Phrase Structure Grammar

**Authors:** Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, E. Anne Paulson, [Geoffrey K. Pullum](https://md.research.elamur.ai/free/en/authors/geoffrey-k-pullum/), [Ivan A. Sag](https://md.research.elamur.ai/free/en/authors/ivan-a-sag/) and Thomas Wasow · **Year:** 1982 · **Venue:** [20th Annual Meeting of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/acl/) ([ACL 1982](https://md.research.elamur.ai/free/en/venues/acl/1982/)) · **Publisher:** [Association for Computational Linguistics](https://md.research.elamur.ai/free/en/publishers/association-for-computational-linguistics/) · **Licence:** [CC BY-NC-SA 3.0 (ACL Anthology, before 2016)](https://creativecommons.org/licenses/by-nc-sa/3.0/)

**Links:** [Publisher's page](https://aclanthology.org/P82-1014/) · [PDF](https://aclanthology.org/P82-1014.pdf) · [DOI 10.3115/981251.981269](https://doi.org/10.3115/981251.981269) · [OpenAlex](https://openalex.org/W2127200155)

**Citations:** 34 citations (OpenAlex, 2026-10-14) · [11](https://md.research.elamur.ai/free/en/papers/gawron-1982-processing-english-generalized-phrase-structure/cited-by/) in our library, of the 149,439 papers whose bibliographies we read

## Summary
The paper reports interim progress from a project at Hewlett-Packard's Computer Research Center, running since summer 1981. The project asks whether Generalized Phrase Structure Grammar (GPSG), a strictly context-free formalism, can drive a practical English understanding system. The implemented pipeline has five parts:
- a GPSG grammar made of a lexicon, rules and metarules;
- a top-down parser with a grammar compiler;
- a semantics handler that turns parse trees into first-order logic;
- a disambiguator that uses sortal information to rewrite those formulas into queries;
- the HIRE relational database, hosted in SPHERE.

Following Montague's Rule-to-Rule Hypothesis, every syntactic rule carries its own semantic translation. Metarules derive related rules, such as passives from actives. Gap-carrying categories handle the long-distance dependencies in questions and relative clauses without leaving context-free power. The fragment covers many core English constructions. A worked example shows quantifier handling via Cooper storage.

The authors argue that syntax and compositional semantics are fully domain-independent. Porting to a new application would then mean only retuning the disambiguator and adding vocabulary. The paper gives no quantitative evaluation. Its contribution is an architecture that ties linguistic theory, model-theoretic semantics and database access together.

## Key points
- **Architecture:** GPSG grammar → top-down parser and grammar compiler → logic transducer producing first-order logic → sortal disambiguator → query language of HIRE, a relational database inside the SPHERE system.
- **Rule format:** each rule is a triple of rule name, syntactic node-admissibility condition and semantic combination. An example is `VP109`, a verb taking two `N!!` objects, where `!` marks X-bar levels.
- **Coverage:** the implemented subset handles prepositional phrases, noun-noun compounds, the auxiliary system, genitives, questions, relative clauses, passives and existential sentences.
- **Lexicon:** entries hold syntactic features, including rule-name features that encode strict subcategorization and irregular morphology. They also hold semantics: either a direct HIRE predicate or, for verbs and prepositions, case-role assignments.
- **Theory and scope:** the paper leans on Gazdar & Pullum (1982), who rebut claims that natural languages are not context-free. The current goal is limited to literal meaning of isolated sentences, with pragmatics and discourse left for later.

## Interesting ideas
- Pairing every syntactic rule with exactly one semantic composition makes every piece of meaning traceable to the rule that built it.
- Metarules state a relation once, for example passive derived from active, and generate the derived rules automatically while preserving subcategorization.
- Cooper storage keeps a quantified noun phrase in a side store until the clause is complete, then binds it with a placeholder variable, which postpones scope decisions.
- Encoding in the lexicon which rules a word may appear in gives a cheap, explicit licensing check on structures.
- Domain-independent grammar and logic, with all application-specific mapping confined to a thin sortal disambiguator, makes porting a matter of swapping one module.

## For Mova

How these ideas could serve Mova, our small open language model — its files, stages and tests:

- **I1** (frames): each UD relation pattern used by prag could be bound to one named frame-building rule, so every role in a frame cites the construction that produced it.
- **I2** (frames): VerbNet role mappings could be written once for active clauses, with passive and other alternation variants (`nsubj:pass`, `obl:agent`) derived mechanically instead of hand-listed.
- **I3** (world): phrases like "every applicant" could be stored at clause level and resolved into sets or universal statements when the world model is built, rather than becoming single entities too early.
- **I4** (tree): a lexicon of verb argument frames could validate or rerank parser outputs, flagging trees where a verb appears in a construction it does not license.
- **I5** (answer): keep frames and logical forms generic and put each test domain's (school tests, word problems, fables) mapping into a small swappable adapter.

*Our summary of the paper, in our own words — not its text. The work belongs to its authors; read it at the links above.*

## Institutions

- [Hewlett-Packard](https://md.research.elamur.ai/free/en/companies/hewlett-packard/) — Company, Palo Alto, United States · 3 works · 691 citations

📚 Shelves (4): [🖥️ Computer Science](https://md.research.elamur.ai/free/en/shelves/computer-science/) · 16,667 works · [🤖 Artificial Intelligence](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · 16,194 works · [🎭 Arts and Humanities](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · 16,039 works · [🗣️ Language and Linguistics](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) · 15,891 works

🧭 Topics (2): [English](https://md.research.elamur.ai/free/en/topics/english/) · 2,263 works · [📐 Syntax & grammar formalisms](https://md.research.elamur.ai/free/en/topics/syntax-grammar/) · 214 works

## Cite

Cite as: Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, E. Anne Paulson, Geoffrey K. Pullum, Ivan A. Sag and Thomas Wasow. 1982. Processing English With a Generalized Phrase Structure Grammar. 20th Annual Meeting of the Association for Computational Linguistics.

The paper itself, not this page. BibTeX from the library's record of the work.

```bibtex
@inproceedings{gawron1982processing,
  title = {{Processing English With a Generalized Phrase Structure Grammar}},
  author = {Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, E. Anne Paulson, Geoffrey K. Pullum, Ivan A. Sag and Thomas Wasow},
  booktitle = {20th Annual Meeting of the Association for Computational Linguistics},
  year = {1982},
  doi = {10.3115/981251.981269},
  url = {https://doi.org/10.3115/981251.981269}
}
```

- [← previous An Efficient Easily Adaptable System for Interpreting Natural Language Queries](https://md.research.elamur.ai/free/en/papers/warren-1982-efficient-easily-adaptable-system-interpreting/)
- [next → Implementation and Conversational Environment of ARIANE 78.4, An Integrated System for Automated Translation and Human Revision](https://md.research.elamur.ai/free/en/papers/boitet-1982-implementation-conversational-environment-ariane-78/)
- [↑ back to papers of 1982](https://md.research.elamur.ai/free/en/papers/1982/)

## References

12 references, 0 of them with a card of ours. ↗ leads to the work, «find» searches for one we have no id for yet.

1. Barwise, Jon, "Situations and John Perry. 1981. and attitudes." Journal of Philosophy 78, 668-692. [find](https://scholar.google.com/scholar?q=Barwise%2C+Jon%2C+%22Situations+and+John+Perry%2E+1981%2E+and+attitudes%2E%22+Journal+of+Philosophy+78%2C+668%2D692%2E)
2. Cooper, Robin. 1975. Montague's Semantic Theory and Transformational Syntax. Doctoral dissertation, University of Massachusetts, Amherst. [find](https://scholar.google.com/scholar?q=Cooper%2C+Robin%2E+1975%2E+Montague%27s+Semantic+Theory+and+Transformational+Syntax%2E+Doctoral+dissertation%2C+University+of+Massachusetts%2C+Amherst%2E)
3. Fillmore, Charles. 1968. "The Case for Case." In Bach, Emmon and Robert Harms. Universals in Linguistic Theory. New York: Holt, Rinehart and Winston. [↗](https://doi.org/10.5281/zenodo.5809981)
4. Filman, Robert E., John Lamping, and Fanya Nlontalvo. 1982. "Metalanguage and Metareasoning." Submitted for presentation at the AAAI National Conference on Artificial Intelligence, Carnegie-Mellon University, Pittsburgh, Pennsylvania. [find](https://scholar.google.com/scholar?q=Filman%2C+Robert+E%2E%2C+John+Lamping%2C+and+Fanya+Nlontalvo%2E+1982%2E+%22Metalanguage+and+Metareasoning%2E%22+Submitted+for+presentation+at+the+AAAI+National+Conference+on+Artificial+Intelligence%2C+Carnegie%2DMellon+Uni)
5. Gallaire, Herv$, and Jack Minker, eds. 1978. Logic and Data Bases. New York: Plenum Press. Gallaire, Herv$, Jack Minker, and Jean Marie Nicolas, eds. 1 9 8 1 . Advances in Date Base Theory. New York: Plenum Press. [find](https://scholar.google.com/scholar?q=Gallaire%2C+Herv%24%2C+and+Jack+Minker%2C+eds%2E+1978%2E+Logic+and+Data+Bases%2E+New+York%3A+Plenum+Press%2E+Gallaire%2C+Herv%24%2C+Jack+Minker%2C+and+Jean+Marie+Nicolas%2C+eds%2E+1+9+8+1+%2E+Advances+in+Date+Base+Theory%2E+New+York%3A+)
6. Gazdar, Gerald. 1981. "Unbounded Dependencies and Coordinate Structure." Linguistic Inquiry 12, 155-184. Gazdar, Gerald. 1 9 8 2 . "Phrase Structure Grammar." In Pauline Jacobson and Geoffrey K. Pullum, eds. The Nature of Syntactic Representation. Dordrecht: D. Reidel. Gazdar, Gerald, Geoffrey K. Pullum, and Ivan A. Sag. In press. "Auxiliaries and Related Phenomena." Language. [↗](https://doi.org/10.1007/978-94-009-3401-6_8)
7. Gazdar, Gerald, Geoffrey K. Pullum, Ivan A. Sag, and Thomas Wasow. 1982. "Coordination and Transformational Grammar". Linguistic Inquiry 13. [find](https://scholar.google.com/scholar?q=Gazdar%2C+Gerald%2C+Geoffrey+K%2E+Pullum%2C+Ivan+A%2E+Sag%2C+and+Thomas+Wasow%2E+1982%2E+%22Coordination+and+Transformational+Grammar%22%2E+Linguistic+Inquiry+13%2E)
8. Jackendoff, Ray. 1977. ~" Syntax. Cambridge: MIT Press. [find](https://scholar.google.com/scholar?q=Jackendoff%2C+Ray%2E+1977%2E+%7E%22+Syntax%2E+Cambridge%3A+MIT+Press%2E)
9. Kay, Martin. 1982. "When Metarules are not Metarules." Ms. Xerox Palo Alto Research Center. Montague, Richard. 1 9 7 0 . "The Proper Treatment of Quantification in English." in Richmond Thomason, ed. 1974. Formal Philosophy. New Haven: Yale University Press. Pratt, Vaughan R. 1 9 7 5 . "LINGOL a progress report." Advance Papers of the Fourth /nternational Joint Conference on Artificia/ /nte//igence, Tbilisi, Georgia, USSR, 3-8 September 1975. Cambridge, MA: Artificial Intelligence Laboratory. 422-428. [find](https://scholar.google.com/scholar?q=Kay%2C+Martin%2E+1982%2E+%22When+Metarules+are+not+Metarules%2E%22+Ms%2E+Xerox+Palo+Alto+Research+Center%2E+Montague%2C+Richard%2E+1+9+7+0+%2E+%22The+Proper+Treatment+of+Quantification+in+English%2E%22+in+Richmond+Thomason%2C+ed%2E+)
10. Pullum, Geoffrey K. and Gerald Gazdar. 1982. Natural languages and context-free languages. Linguistics and phitos.ophy 4. [↗](https://doi.org/10.1007/bf00360802)
11. Sag, Ivan A. 1982. "Coordination, Extraction, and Generalized Phrase Structure Grammar." Linguistic Inquiry 13. [find](https://scholar.google.com/scholar?q=Sag%2C+Ivan+A%2E+1982%2E+%22Coordination%2C+Extraction%2C+and+Generalized+Phrase+Structure+Grammar%2E%22+Linguistic+Inquiry+13%2E)
12. Weyhrauch, Richard W. 1980. "Prolegomena to a theory of mechanized formal reasoning." Artificial Intelligence, 1, pp. 133-170. [↗](https://doi.org/10.1016/0004-3702(80)90015-6)

*Updated 1 November 2026*