Presupposition and Assertion in Dynamic Semantics · Study