A DRS like the one in [1] can be given a straightforward model-theoretic interpretation. In DRT this is done by means of embedding functions, which are partial functions from discourse referents to individuals in a given model M; or put otherwise, an embedding function is a partial variable assignment. An embedding function f verifies [1] in M iff the domain of f includes at least x and y, and according to M it is the case that f(x) is a farmer, f(y) is a donkey, and f(x) chased f(y).