In Taking Scope, Mark Steedman considers the syntax and semantics of quantifier scope in interaction with negation, polarity, coordination, and pronominal binding, among other constructions. The semantics is "surface compositional," in that there is a direct correspondence between syntactic types an[...]

In this book Mark Steedman argues that the surface syntax of natural languages maps spoken and written forms directly to a compositional semantic representation that includes predicate-argument structure, quantification, and information structure without constructing any intervening structural repre[...]