Domain Restriction in Dynamic Semantics · Study