"Presupposition and Assertion in Dynamic Semantics" - читать интересную книгу автора (David I. Beaver)