Dynamic Semantics [electronic resource] /