Two theories of dynamic semantics · Study