Aspect in Ancient Greek - Nijmegen Centre for Semantics

Appendix B: Examples spelled out 201≡ λt w ′Inert t (w 0 ,w ′ )→ed buy(e,w ′ )τ(e) ·⊃ t(t TT ) ⊕tTT ≺ n≡ w ′Inert tTT (w 0 ,w ′ )→ed buy(e,w ′ )τ(e) ·⊃ t TT⊕tTT ≺ n≡w ′Inert tTT (w 0 ,w ′ )→t TT ≺ ned buy(e,w ′ )τ(e) ·⊃ t TT(224) PAST(INCLUDED(PROG ′ (λwλe m cross(e,w)))) ad (141)= λQ[tTT ≺ n ⊕Q(t TT)](λPλt[eτ(e) ⊇ t ⊕P(e)](λPλe w ′Inert τ(e) (w 0 ,w ′ )→ [t e ′τ(e) ·⊃ tτ(e ′ ) ⊆ t⊕P(w ′ )(e ′ )](λwλe m cross(e,w))))≡ λQ[tTT ≺ n ⊕Q(t TT)](λPλt[eτ(e) ⊇ t ⊕P(e)](λPλe w ′Inert τ(e) (w 0 ,w ′ )→ [t e ′τ(e) ·⊃ tτ(e ′ ) ⊆ t⊕ λwλe m cross(e,w)(w ′ )(e ′ )] ))= λQ[tTT ≺ n ⊕Q(t TT)](λPλt[eτ(e) ⊇ t ⊕P(e)](λPλe w ′Inert τ(e) (w 0 ,w ′ )→ [t e ′τ(e) ·⊃ tτ(e ′ ) ⊆ t⊕ λe m cross(e,w ′ ) (e′ )] ))= λQ[tTT ≺ n ⊕Q(t TT)](λPλt[eτ(e) ⊇ t ⊕P(e)]