This book presents a unified theory of interpretation which accounts for cases of existence, non-existence and everything in between. Assuming a discourse-level dynamic semantics, with context central in determining truth-values and hearer knowledge crucial for interpretation, it models existence in terms of a richly structured and tightly constrained set of possible worlds.