Непредельность и структура события
4 14 Semantics for the imperfective operator Koenig and Muansuwan 2001 163 a α Impfv ev φ b An eventuality ev and an event description φ satisfy condition α iff there is an e′ which non necessarily properly includes ev and satisfies φ in all inertia worlds i e in all worlds compatible with what it would mean to complete ev without being interrupted
