Skip to main content

Minimal Recursion Semantics: An Introduction


Minimal recursion semantics (MRS) is a framework for computational semantics that is suitable for parsing and generation and that can be implemented in typed feature structure formalisms. We discuss why, in general, a semantic representation with minimal structure is desirable and illustrate how a descriptively adequate representation with a nonrecursive structure may be achieved. MRS enables a simple formulation of the grammatical constraints on lexical and phrasal semantics, including the principles of semantic composition. We have integrated MRS with a broad-coverage HPSG grammar.

This is a preview of subscription content, access via your institution.


  • Abb B., Buschbeck-Wolf B., Tschernitschek C. (1996) Abstraction and Underspecification in Semantic Transfer. In: Proceedings of the Second Conference of the Association for Machine Translation in the Americas (AMTA-96). Montreal, pp. 56–65.

  • Alshawi, H. and Crouch, R. (1992) Monotonic Semantic Interpretation. In: Proceedings of the 30th Annual Meeting of the Association for Computational Linguistics (ACL-92). Newark, NJ, pp. 32–39.

  • Baldridge, J. and Kruijff, G.-J. M. (2002) Coupling CCG and Hybrid Logic Dependency Semantics. In: Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics (ACL), Philadelphia.

  • Beermann, D. and Hellan, L. (2004) Semantic Decomposition in a Computational HPSG Grammar: A Treatment of Aspect and Context-dependent Directionals. In: Proceedings of the Workshop on Computational Semantics at the 11th International Conference on HPSG Leuven, Belgium.

  • Bender, E. M., Flickinger, D. and Oepen, S. (2002) The Grammar Matrix: An open-source starter-kit for the rapid development of cross-linguistically consistent broad-coverage precision grammars. In: Proceedings of the Workshop on Grammar Engineering and Evaluation at the 19th International Conference on Computational Linguistics. Taipei, Taiwan, pp. 8–14.

  • Bender, E. M. and Flickinger, D. (2003) Compositional Semantics in a Multilingual Grammar Resource. In: Proceedings of the Workshop on Ideas and Stratgies for Multilingual Grammar Development, ESSLLI 2003. Vienna, Austria.

  • Bos, J. (1995). Predicate Logic Unplugged. In: Proceedings of the 10th Amsterdam Colloquium. Amsterdam, pp. 133–142.

  • Bouma, G., Malouf, R. and Sag, I. A. (1998) Adjunct Scope and Complex Predicates, Paper presented at the 20th Annual Meeting of the DGfS. Section 8: The Syntax of Adverbials – Theoretical and Cross-linguistic Aspects. Halle, Germany.

  • G.N. Carlson F.J. Pelletier (Eds) (1995) The Generic Book University of Chicago Press Chicago

    Google Scholar 

  • Carroll, J., Copestake, A. Flickinger, D. and Poznanski, V. (1999) An Efficient Chart Generator for (Semi-)lexicalist Grammars. In: Proceedings of the 7th European Workshop on Natural Language Generation (EWNLG’99). Toulouse, pp. 86–95.

  • R. Cooper (1983) Quantification and Syntactic Theory Reidel Dordrecht

    Google Scholar 

  • Copestake, A. (1995) Semantic Transfer for Verbmobil. ACQUILEX II working paper 62 and Verbmobil report 93.

  • Copestake, A., Flickinger, D. Malouf, R. Riehemann, S. and Sag, I. A. (1995) Translation using Minimal Recursion Semantics. In: Proceedings of the The Sixth International Conference on Theoretical and Methodological Issues in Machine Translation (TMI-95). Leuven, Belgium.

  • Copestake, A., Lascarides, A. and Flickinger, D. (2001) An Algebra for Semantic Construction in Constraint-Based Grammars. In: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics (ACL 2001). Toulouse, France.

  • M. Dahllöf (2002) ArticleTitleToken Dependency Semantics and the Paratactic Analysis of Intensional constructions Journal of Semantics 19 333–368 Occurrence Handle10.1093/jos/19.4.333

    Article  Google Scholar 

  • A. Davis (2001) Linking by Types in the Hierarchical Lexicon CSLI Publications Stanford, CA

    Google Scholar 

  • K. Deemter Particlevan S. Peters (Eds) (1996) Semantic Ambiguity and Underspecification CSLI Publications Stanford, CA

    Google Scholar 

  • M. Egg (1998) ArticleTitleWh-questions in Underspecified Minimal Recursion Semantics Journal of Semantics 15 IssueID1 37–82 Occurrence Handle10.1093/jos/15.1.37

    Article  Google Scholar 

  • Egg, M. and Lebeth, K. (1995) Semantic Underspecification and Modifier Attachment. Intergrative Ansätze in der Computerlinguistik. Beiträge zur 5. Fachtagung für Computerlinguistik der DGfS.

  • Egg, M., Lebeth, K. (1996) Semantic Interpretation in HPSG. Presented at the Third International Conference on HPSG. Marseilles, France.

  • M. Egg A. Koller J. Niehren (2001) ArticleTitleThe Constraint Language for Lambda Structures Journal of Logic, Language, and Information 10 457–485 Occurrence Handle10.1023/A:1017964622902

    Article  Google Scholar 

  • C.J. Fillmore P. Kay M.C. O’Connor (1988) ArticleTitleRegularity and Idiomaticity in Grammatical Constructions: The Case of Let Alone Language. 64 IssueID3 501–538 Occurrence Handle10.2307/414531

    Article  Google Scholar 

  • D. Flickinger A. Copestake I.A. Sag (2000) HPSG Analysis of English W. Wahl-ster R. Karger (Eds) Verbmobil: Foundations of Speech-to-Speech Translation Springer Verlag Berlin, Heidelberg and New York 254–263

    Google Scholar 

  • Frank, A. and Reyle, U. (1994) Principle-Based Semantics for HPSG. Arbeitspapiere des Sonderforschungsbereichs 340. University of Stuttgart.

  • Fuchss, R., Koller, A., Niehren, J. and Thater, S. (2004) Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis. In: Proceedings of the 42nd Meeting of the Association for Computational Linguistics (ACL-04). Barcelona, Spain, pp. 247–254.

  • Gardent, C. and Kallmeyer, L. (2003) Semantic Construction in Feature-Based TAG. In: Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL-03). Budapest, pp. 123–130.

  • J. Ginzburg I.A. Sag (2000) Interrogative Investigations: The Form, Meaning and Use of English Interrogatives CSLI Stanford

    Google Scholar 

  • Hobbs, J. (1983) An Improper Treatment of Quantification in Ordinary English. In: Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics (ACL-83). MIT, Cambridge, MA, pp. 57–63.

  • Hobbs, J. (1985) Ontological Promiscuity. In: Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics (ACL-85). Chicago, IL, pp. 61–69.

  • J. Hobbs S.M. Shieber (1987) ArticleTitleAn Algorithm for Generating Quantifier Scopings Computational Linguistics 13 47–63

    Google Scholar 

  • Kallmeyer, L. and Joshi, A. (1999) Factoring Predicate Argument and Scope Semantics: Underspecified Semantics with LTAG. In: Proceedings of the 12th Amsterdam Colloquium. Dekker, P. (ed.) Amsterdam, ILLC, pp. 169–174.

  • H. Kamp U. Reyle (1993) From Discourse to Logic: An Introduction to Modeltheoretic Semantics, Formal Logic and Discourse Representation Theory Kluwer Academic Publishers Dordrecht, The Neterlands

    Google Scholar 

  • Kasper, R. (1996) Semantics of Recursive Modification, unpublished MS. Ohio State University.

  • M. Kay (1970) From Semantics to Syntax M. Bierwisch K.E. Heidorn (Eds) Progress in Linguistics Mouton The Hague 114–126

    Google Scholar 

  • Kay, M. (1996) Chart Generation. In: Proceeding of the 34th Annual Meeting of the Association for Computational Linguistics (ACL-96). Santa Cruz, CA, pp. 200–204.

  • T. Kiss (2005) ArticleTitleSemantic Constraints on Relative Clause Extraposition Natural Language and Linguistic Theory 23 IssueID2 281–334 Occurrence Handle10.1007/s11049-003-1838-7

    Article  Google Scholar 

  • J.-P. Koenig N. Muansuwan (2005) ArticleTitleThe Syntax of Aspect in Thai Natural Language and Linguistic Theory 23 IssueID2 335–380 Occurrence Handle10.1007/s11049-004-0488-8

    Article  Google Scholar 

  • Koller, A, Niehren, J. and Thater, S. (2003) Bridging the Gap between Underspecification Formalisms: Hole Semantics as dominance constraints. In: Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL-03). Budapest, pp. 195–202.

  • Landsbergen, J. (1987) Isomorphic Grammars and Their Use in the ROSETTA Translation system. In: King, M. (ed.), Machine Translation Today: The State of the Art. Edinburgh University Press, pp. 351–372.

  • Nerbonne, J. (1993) A Feature-Based Syntax/Semantics Interface. Annals of Mathematics and Artificial Intelligence (Special Issue on Mathematics of Language, Manaster-Ramer, A. and Zadrozsny, W. eds.), 8, pp. 107–132.

  • Niehren, J. and Thater, S. (2003) Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints. In: Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics (ACL-03). Sapporo, Japan.

  • B. Partee A. ter Meulen R.E. Wall (1993) Mathematical Methods in Linguistics Kluwer Academic Publishers Dordrecht

    Google Scholar 

  • J.D. Phillips (1993) ArticleTitleGeneration of Text from Logical Formulae Machine Translation. 8 IssueID4 209–235 Occurrence Handle10.1007/BF00981757

    Article  Google Scholar 

  • Pinkal, M. (1996) Radical Underspecification, In: Dekker, P. and Stokhof, M. (eds.), Proceedings of the 10th Amsterdam Colloquium. Amsterdam, ILLC, pp. 587–606.

  • C. Pollard I.A. Sag (1994) Head-driven Phrase Structure Grammar University of Chicago Press Chicago

    Google Scholar 

  • C. Pollard E.J. Yoo (1998) ArticleTitleA Unified Theory of Scope for Quantifiers and Wh-phrases Journal of Linguistics 34 IssueID2 415–445 Occurrence Handle10.1017/S0022226798007099

    Article  Google Scholar 

  • Poznanski, V., Beaven, J. L. and Whitelock, P. (1995) An Efficient Generation Algorithm for Lexicalist MT. In: Proceedings of the 33rd Annual Meeting of the Association for Computational Linguistics (ACL-95). Cambridge, MA, pp. 261–267.

  • Przepiórkowski, A. (1999) Case Assignment and the Complement-Adjunct Dichotomy – A non-configurational, constraint-based approach. Doctoral dissertation, Universität Tübingen.

  • U. Reyle (1993) ArticleTitleDealing with Ambiguities by Underspecification Journal of Semantics. 10 123–179 Occurrence Handle10.1093/jos/10.2.123

    Article  Google Scholar 

  • Richter F., Sailer, M. Polish Negation and Lexical Resource Semantics. In: Kruijff, G.-J. M., Moss, L. S. and Oehrle, R. T. (eds.), Proceedings of FGMOL 2001. Electronic Notes in Theoretical Computer Science, Vol. 53. Elsevier.

  • Riehemann, S. (2001) A Constructional Approach to Idioms and Word Formation. Doctoral dissertation, Stanford University.

  • I.A. Sag C. Pollard (1991) ArticleTitleAn Integrated Theory of Complement Control Language 67 IssueID1 63–113 Occurrence Handle10.2307/415539

    Article  Google Scholar 

  • S.M. Shieber (1993) ArticleTitleThe Problem of Logical form Equivalence Computational Linguistics 19 IssueID1 179–190

    Google Scholar 

  • Siegel, M. and Bender, E. M. (2002) Efficient Deep Processing of Japanese. In: Proceedings of the 3rd Workshop on Asian Language Resources and International Standardization. COLING 2002 Post-Conference Workshop. Taipei, Taiwan.

  • Trujillo, I. A. (1995) Lexicalist Machine Translation of Spatial Prepositions. PhD dissertation, University of Cambridge.

  • Villavicencio, A. (2002) The Acquisition of a Unification-Based Generalised Categorial Grammar. PhD dissertation, University of Cambridge, available as Computer Laboratory Technical Report 533.

  • A. Warner (2000) English Auxiliaries without Lexical Rules R. Borsley (Eds) Syntax and Semantics. The Nature and Function of Syntactic Categories Academic Press San Diego and London 167–220 Occurrence Handle10.1016/S0092-4563(00)80023-9

    Chapter  Google Scholar 

  • Whitelock, P. (1992) Shake-and-Bake Translation. In: Proceedings of the 14th International Conference on Computational Linguistics (COLING-92). Nantes, France.

  • Woods, W., Kaplan, R. M. and Nash-Webber, B. (1972) The LUNAR Sciences Natural Language Information System: Final Report (BBN Technical Report 2378). Bolt, Beranek and Newman Inc., Cambridge, MA.

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Ann Copestake.

About this article

Cite this article

Copestake, A., Flickinger, D., Pollard, C. et al. Minimal Recursion Semantics: An Introduction. Research Language Computation 3, 281–332 (2005).

Download citation

  • Issue Date:

  • DOI:


  • computational semantics
  • flat semantics
  • semantic composition
  • grammar implementation