Frontmatter -- Table of Contents -- Preface -- Semantic Automata -- Lexical Freedom and Large Categories -- Quantification as a Major Module of Natural Language Semantics -- Nondurative Closure of Events -- Noun Phrase Interpretation and Type-Shifting Principles -- Formal Semantics and Type-free Theories -- VP Ellipsis in DR Theory -- A Treatment of Belief Sentences in Discourse Representation Theory