 If Davidsonian event predication is part of the antecedent of a conditional, exemplification may come in more than once when determining the situations the conditional quantifies over. This is crucial for examples like (61):