 Definition 8 (Karttunen/Schlenker: Presupposition via satisfaction)  A presupposition P is satisfied at point X in S iff P would be left-redundant if added at point X. A sentence presupposes whatever propositions must hold in global contexts of utterance such that each locally triggered presupposition is satisfied where its trigger occurs. 