... times1
Care should be taken in reading this definition -- the last disjunct allows the time corresponding to the end of execution of a durative action to be included as a happening time.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.