 The previous subsection gave a first glimpse into the basic aim of a dynamic semantic framework, which is to define a logical semantics in which statements express actions and specifically, in which existential quantification has the potential to reset variables, thus changing the context. We get our clue about how to do this by examining the definition of existential quantification in ordinary predicate logic. Suppose we work with total assignments on a fixed set of variables \(\textsf{VAR}\) over a fixed domain \(D\). The set of total assignments \(\textsf{ASSIGN}\) is therefore the set of all (total) functions from \(\textsf{VAR}\) to \(D\).