[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/docs/papers/aclbulk-2001-copestake-algebra-semantic-construction-constraint-based/) [home](https://md.mova.elamur.ai/free/en/) / [docs](https://md.mova.elamur.ai/free/en/docs/) / [papers](https://md.mova.elamur.ai/free/en/docs/papers/) / [English](https://md.mova.elamur.ai/free/en/docs/papers/en/) / An Algebra for Semantic Construction in Constraint-based Grammars # An Algebra for Semantic Construction in Constraint-based Grammars **Authors:** [Ann Copestake](https://md.mova.elamur.ai/free/en/docs/papers/authors/ann-copestake/), [Alex Lascarides](https://md.mova.elamur.ai/free/en/docs/papers/authors/alex-lascarides/) and [Dan Flickinger](https://md.mova.elamur.ai/free/en/docs/papers/authors/dan-flickinger/) · **Year:** 2001 · **Venue:** Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics **Link:** [aclanthology.org/P01-1019](https://aclanthology.org/P01-1019/) · **Licence:** [CC BY-NC-SA 3.0](https://creativecommons.org/licenses/by-nc-sa/3.0/) — summary only [**129** citations](https://openalex.org/works?filter=cites:W2139974778) openalex · 2026-10-19[**52** citations in our library](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/aclbulk-2001-copestake-algebra-semantic-construction-constraint-based/) of the 140673 papers whose bibliographies we read[Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics](https://aclanthology.org/volumes/P01-1/)[licence](https://creativecommons.org/licenses/by-nc-sa/3.0/) - [Publisher's page](https://aclanthology.org/P01-1019/) - [PDF](https://aclanthology.org/P01-1019.pdf) - [DOI 10.3115/1073012.1073031](https://doi.org/10.3115/1073012.1073031) - [OpenAlex](https://openalex.org/W2139974778) **Authors (3)** 1. [Ann Copestake](https://openalex.org/A5012396877) [ORCID](https://orcid.org/0000-0003-0347-946X) · [Semantic Scholar](https://www.semanticscholar.org/author/15379653) · h 34 · 6049 citations · 192 works 2. [Alex Lascarides](https://openalex.org/A5083233594) [ORCID](https://orcid.org/0000-0003-1704-1864) · [Semantic Scholar](https://www.semanticscholar.org/author/1876168) · h 34 · 5711 citations · 220 works 3. [Dan Flickinger](https://openalex.org/A5089106912) [ORCID](https://orcid.org/0000-0001-7959-999X) · [Semantic Scholar](https://www.semanticscholar.org/author/3209288) · h 32 · 5154 citations · 155 works Citations and author metrics from openalex (2026-10-19); authors with the same name are not always told apart. ## What it is about The paper offers a framework for semantic construction inside grammars written in typed feature structure logics, including HPSG. It is an alternative to the lambda calculus. Each sign has a hook, the value that fills a hole in another sign. Composition is limited to a small set of named operations on hooks, holes and lists of elementary predications. This keeps the grammar flexible but constrains what each rule may do. The constraints are checked as metalevel conditions on the grammar, not at run time. Applied to the English Resource Grammar, the work exposed many grammar bugs and made the grammar monotonic, which a chart generator needs. The paper gives no numbers. ## Ideas - I1. `en/src/expert.rs`: declare for each rule its head, its dependents and its output slots, and let a checker reject rules that break the slot discipline. Count how many existing rules fail the check. - I2. `en/src/udreg.rs`: a metalevel pass that flags any rule which overwrites a feature set set by an earlier rule (the non-monotonic case). Count the findings on EWT and on PUD. - I3. Slot audit: count the mismatches between the slots a rule declares and the heads it attaches on EWT dev, and list them for review. ## For Mova The code is `en/src/expert.rs` and `en/src/udreg.rs`; the chapter is [20. Syntax: the Universal Dependencies frame](https://md.mova.elamur.ai/free/en/docs/languages/en/20-syntax-overview/). The paper has no numbers, and it is written for HPSG, not for our rules. Test on EWT and PUD only. ## Cite The paper itself, not this card. BibTeX from the library's record of the work. [DOI 10.3115/1073012.1073031](https://doi.org/10.3115/1073012.1073031) ``` @inproceedings{copestake2001algebra, title = {{An Algebra for Semantic Construction in Constraint-based Grammars}}, author = {Copestake, Ann and Lascarides, Alex and Flickinger, Dan}, booktitle = {Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics}, year = {2001}, doi = {10.3115/1073012.1073031}, url = {https://doi.org/10.3115/1073012.1073031} } ``` - [← previous Experiments on Sentence Boundary Detection](https://md.mova.elamur.ai/free/en/docs/papers/aclbulk-2000-stevenson-experiments-sentence-boundary-detection/) - [next → Corpus Variation and Parser Performance](https://md.mova.elamur.ai/free/en/docs/papers/aclbulk-2001-gildea-corpus-variation-parser-performance/) - [↑ back to English](https://md.mova.elamur.ai/free/en/docs/papers/en/) ## 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. Alshawi, Hiyan [1992] (ed.) The Core Language Engine, MIT Press. [find](https://scholar.google.com/scholar?q=Alshawi%2C+Hiyan+%5B1992%5D+%28ed%2E%29+The+Core+Language+Engine%2C+MIT+Press%2E) 2. Carroll, John, Ann Copestake, Dan Flickinger and Victor Poznanski [1999] An Efficient Chart Generator for Lexicalist Grammars, The 7th International Workshop on Natural Language Generation, 86–95. [find](https://scholar.google.com/scholar?q=Carroll%2C+John%2C+Ann+Copestake%2C+Dan+Flickinger+and+Victor+Poznanski+%5B1999%5D+An+Efficient+Chart+Generator+for+Lexicalist+Grammars%2C+The+7th+International+Workshop+on+Natural+Language+Generation%2C+86%E2%80%9395%2E) 3. Copestake, Ann, Dan Flickinger, Ivan Sag and Carl Pollard [1999] Minimal Recursion Semantics: An Introduction, manuscript at www-csli.stanford.edu/˜aac/newmrs.ps Egg, Marcus [1998] Wh-Questions in Underspecified Minimal Recursion Semantics, Journal of Semantics, 15.1:37–82. [find](https://scholar.google.com/scholar?q=Copestake%2C+Ann%2C+Dan+Flickinger%2C+Ivan+Sag+and+Carl+Pollard+%5B1999%5D+Minimal+Recursion+Semantics%3A+An+Introduction%2C+manuscript+at+www%2Dcsli%2Estanford%2Eedu%2F%CB%9Caac%2Fnewmrs%2Eps+Egg%2C+Marcus+%5B1998%5D+Wh%2DQuestions+in+Und) 4. Fernando, Tim [1997] Ambiguity in Changing Contexts, Linguistics and Philosophy, 20.6: 575– 606. [find](https://scholar.google.com/scholar?q=Fernando%2C+Tim+%5B1997%5D+Ambiguity+in+Changing+Contexts%2C+Linguistics+and+Philosophy%2C+20%2E6%3A+575%E2%80%93+606%2E) 5. Moore, Robert C. [1989] Unification-based Semantic Interpretation, The 27th Annual Meeting for the Association for Computational Linguistics (ACL-89), 33–41. [find](https://scholar.google.com/scholar?q=Moore%2C+Robert+C%2E+%5B1989%5D+Unification%2Dbased+Semantic+Interpretation%2C+The+27th+Annual+Meeting+for+the+Association+for+Computational+Linguistics+%28ACL%2D89%29%2C+33%E2%80%9341%2E) 6. Nerbonne, John [1995] Computational Semantics—Linguistics and Processing, Shalom Lappin (ed.) Handbook of Contemporary Semantic Theory, 461–484, Blackwells. [find](https://scholar.google.com/scholar?q=Nerbonne%2C+John+%5B1995%5D+Computational+Semantics%E2%80%94Linguistics+and+Processing%2C+Shalom+Lappin+%28ed%2E%29+Handbook+of+Contemporary+Semantic+Theory%2C+461%E2%80%93484%2C+Blackwells%2E) 7. Pollard, Carl and Ivan Sag [1994] Head-Driven Phrase Structure Grammar, University of Chicago Press. [find](https://scholar.google.com/scholar?q=Pollard%2C+Carl+and+Ivan+Sag+%5B1994%5D+Head%2DDriven+Phrase+Structure+Grammar%2C+University+of+Chicago+Press%2E) 8. Reyle, Uwe [1993] Dealing with Ambiguities by Underspecification: Construction, Representation and Deduction, Journal of Semantics, 10.1: 123–179. [find](https://scholar.google.com/scholar?q=Reyle%2C+Uwe+%5B1993%5D+Dealing+with+Ambiguities+by+Underspecification%3A+Construction%2C+Representation+and+Deduction%2C+Journal+of+Semantics%2C+10%2E1%3A+123%E2%80%93179%2E) 9. Sag, Ivan, and Tom Wasow [1999] Syntactic Theory: An Introduction, CSLI Publications. [find](https://scholar.google.com/scholar?q=Sag%2C+Ivan%2C+and+Tom+Wasow+%5B1999%5D+Syntactic+Theory%3A+An+Introduction%2C+CSLI+Publications%2E) 10. Shieber, Stuart [1986] An Introduction to Unification-based Approaches to Grammar, CSLI Publications. [find](https://scholar.google.com/scholar?q=Shieber%2C+Stuart+%5B1986%5D+An+Introduction+to+Unification%2Dbased+Approaches+to+Grammar%2C+CSLI+Publications%2E) 11. Zeevat, Henk [1989] A Compositional Approach to Discourse Representation Theory, Linguistics and Philosophy, 12.1: 95–131. [find](https://scholar.google.com/scholar?q=Zeevat%2C+Henk+%5B1989%5D+A+Compositional+Approach+to+Discourse+Representation+Theory%2C+Linguistics+and+Philosophy%2C+12%2E1%3A+95%E2%80%93131%2E) 12. Zeevat, Henk, Ewan Klein and Jo Calder [1987] An introduction to unification categorial grammar, Nick Haddock, Ewan Klein and Glyn Morrill (eds), Categorial grammar, unification grammar, and parsing: working papers in cognitive science, Volume 1, 195–222, Centre for Cognitive Science, University of… [find](https://scholar.google.com/scholar?q=Zeevat%2C+Henk%2C+Ewan+Klein+and+Jo+Calder+%5B1987%5D+An+introduction+to+unification+categorial+grammar%2C+Nick+Haddock%2C+Ewan+Klein+and+Glyn+Morrill+%28eds%29%2C+Categorial+grammar%2C+unification+grammar%2C+and+parsing%3A+)