For the substructures for temporal entities and relations, ISO-TimeML already has a partial formal semantics including a small set of translation rules into ITL, which can be reused adapting them to the use of events rather than temporal intervals (except when temporal entities are to be interpreted).
for ease of reference we have labelled the relevant substructures in the example in boldface.