Aspect in Ancient Greek - Nijmegen Centre for Semantics

200 Appendix B: Examples spelled outt ′′′′t ′′′′ ⊂ t ′C(t ′′′′ )e t ′ t ′′ t ′′′τ(e) = t ′→e ′τ(e ′ ) = t ′′′′l bump(e ′ )≡¬ l bump(e)t ′′ ⊂ t ′t ′′′ ⊂ t ′C(t ′′ )C(t ′′′ )t ′′ ≠ t ′′′τ(e) ·⊃ t TTt TT ≺ n(223) PAST(IMP ′ (λwλe d buy(e,w))) ad (138)= λQ[Q(t TT ) ⊕tTT ≺ n ](λPλt w ′Inert t (w 0 ,w ′ )→ [eτ(e) ·⊃ t ⊕P(w′ )(e)](λwλe d buy(e,w)))≡λQ[Q(t TT ) ⊕tTT ≺ n ](λt w ′Inert t (w 0 ,w ′ )→ [eτ(e) ·⊃ t ⊕ λwλe d buy(e,w) (w′ )(e)] )≡λQ[Q(t TT ) ⊕tTT ≺ n ](λt w ′Inert t (w 0 ,w ′ )→ [eτ(e) ·⊃ t ⊕ λe d buy(e,w ′ ) (e)] )≡λQ[Q(t TT ) ⊕tTT ≺ n ](λt w ′Inert t (w 0 ,w ′ )→ [eτ(e) ·⊃ t ⊕ d buy(e,w ′ ) ] )≡ λQ[Q(t TT ) ⊕tTT ≺ n ](λt w ′Inert t (w 0 ,w ′ )→ed buy(e,w ′ )τ(e) ·⊃ t)