 More generally, we take as \(\textsf{DPL}\)-meanings binary relations between assignments. Such relations can be seen as (modeling) resetting actions. This is an instance of an admittedly simplistic but well-known and useful way of modeling actions: an action is viewed as a relation between the states of the world before the action and the corresponding states after the action.