These theories are allegedly “non-representational”, but what exactly does that mean? Consider, for example, Groenendijk and Stokhof’s (1991) Dynamic Predicate Logic (DPL), which provides a dynamic semantics for the language of classical predicate logic, in which “Pedro owns a donkey and beats it” may be rendered as follows: