Quantification as a Major Module of Natural Language Semantics in Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers.