 If verbs have an event argument, as Davidson proposed, then simple sentences consisting of a verb and its arguments always involve Davidsonian event predication, and hence exemplification. Importing Davidsonian event semantics into situation semantics, the proposition expressed by 59(a), for example, might be formalized as follows: