 (61) quantifies over situations that contain just one man and just one donkey, but it does not seem to quantify over minimal donkey rides. There is no pressure to keep the rides short and multiply the treats accordingly. A single shift from descriptions of merely verifying to exemplifying situations would not yield the correct quantification domain for (61). If we tried to keep the situations small enough so as to contain no more than a single man and a single donkey we would have to keep the rides short as well. However, if the antecedent of (61) contains Davidsonian event quantification, we can keep the situations quantified over small enough to prevent the presence of more than one man or donkey, but still big enough to contain complete donkey rides. The proposition expressed by the antecedent of (61) would be (62):