 The formula in (60) incorporates the usual notation for Davidsonian event predication. Within a situation semantics, this notation is just a convenient way to convey that swim(Ewan)(e) is to be interpreted in terms of exemplification: we are not talking about situations in which Ewan swims, but about situations that exemplify the proposition “Ewan swims”.