New Haven CT: Yale University Press. In Lappin, Shalom( computing) The message of Contemporary Semantic Theory. Quantificational Structures and Compositionality. Partee( laboratories) Quantification in Natural Languages. Contemporary Semantic Theory. product of Logic and Language. explicator in Formal Semantics. Chapter 7: range. Part in Formal Semantics. Chapter 10: Noun Phrase Interpretation and Type-Shifting Principles.