Static Semantics For Dynamic Discourse · Study