Text this: Presupposition and assertion in dynamic semantics /