, there is an event
′ which is part of
and is such that (i) it is a situation of
′ and (ii) it is cut in a slice which is a situation of
′ by any duration which cuts
, there is an event
′ which is part of
and is such that (i) it is a situation of
′ and (ii) it is cut in a slice which is a situation of
′ by any duration which cuts