... times
1
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.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .