Ellipsis and higher-order unification

We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations.

[1]  J. Roger Hindley,et al.  Introduction to combinators and λ-calculus , 1986, Acta Applicandae Mathematicae.

[2]  Lenhart K. Schubert,et al.  From English to Logic: Context-Free Computation of ‘Conventional’ Logical Translation , 1982, CL.

[3]  Fernando Pereira,et al.  Categorial Semantics and Scoping , 1990, CL.

[4]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[5]  Isabelle Haik,et al.  Bound VPs that need to be , 1987 .

[6]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[7]  Stuart M. Shieber,et al.  Constraint-based grammar formalisms - parsing and type inference for natural and computer languages , 1992 .

[8]  Ray Jackendoff,et al.  Semantic Interpretation in Generative Grammar , 1972 .

[9]  Ivan A. Sag,et al.  Deletion And Logical Form , 1976 .

[10]  Craige Roberts,et al.  Modal subordination, anaphora, and distributivity , 1990 .

[11]  Jerry R. Hobbs,et al.  An Algorithm for Generating Quantifier Scopings , 1987, CL.

[12]  Martin Everaert,et al.  Lars Hellan: Anaphora in Norwegian and the Theory of Grammar . Studies in Generative Grammar. Dordrecht: Foris Publications, 1988. , 1991, Nordic Journal of Linguistics.

[13]  Jeroen Groenendijk,et al.  Dynamic Montague grammar , 1990 .

[14]  Julia Hirschberg,et al.  Accent and bound anaphora , 1991 .

[15]  T. Reinhart.  Anaphora and semantic interpretation , 1983 .

[16]  Gérard P. Huet,et al.  A Unification Algorithm for Typed lambda-Calculus , 1975, Theor. Comput. Sci..

[17]  Mark Steedman,et al.  Gapping as constituent coordination , 1990 .

[18]  Isabelle Haïk,et al.  The syntax of operators , 1985 .

[19]  Traugott Schiebe,et al.  Zum Problem Der Grammatisch Relevanten Identität , 1973 .

[20]  Noam Chomsky,et al.  Noam Chomsky on the Generative Enterprise , 1982 .

[21]  Lars Hellan,et al.  Anaphora in Norwegian and the Theory of Grammar , 1988 .

[22]  H. Friedman.  Equality between functionals , 1975 .

[23]  Johan van Benthem,et al.  Categorial grammar and type theory , 1990, J. Philos. Log..