Presupposition and Assertion in Dynamic Semantics