This document discusses presupposition and entailment. It defines presupposition as information assumed to be true prior to an utterance, and gives examples of different types of presupposition including existential, factive, lexical, and structural presupposition. Entailment is defined as information that logically follows from an assertion. The document also discusses how presuppositions can be destroyed by entailments in complex sentences, and how foreground and background entailments differ in terms of communicated meaning.