This document discusses linguistic presuppositions and entailments. Presuppositions are assumptions that a speaker makes before making an utterance, such as assuming the existence of something referred to. Entailments are logical consequences that follow from what is asserted. The document provides examples of different types of presuppositions including lexical, factive verb, and cleft presuppositions. It also discusses how presuppositions can be canceled by entailments and the projection problem where presuppositions do not survive in more complex sentences.