Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the 'Government-Binding' model. It covers the fundamental constructions thoroughly with analyses, but goes well beyond that core, providing extensive discussion of quantification, binding and anaphora, and ellipsis. With exercises and guides to further reading, the volume will be a key text for graduate level and advanced undergraduate introductory courses in semantics.