13.07.2015 Views

Aspect in Ancient Greek - Nijmegen Centre for Semantics

Aspect in Ancient Greek - Nijmegen Centre for Semantics

Aspect in Ancient Greek - Nijmegen Centre for Semantics

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

196 Appendix B: Examples spelled out≡tTT ≺ n ⊕ e t ′ e ′x cry(e ′ )τ(e) = IB(t ′ )τ(e ′ ) = t ′t ′′ e ′′¬t ′ ⊂ t ′′t ′′ = τ(e ′′ )x cry(e ′′ )τ(e) ⊆ t TT≡e t ′ e ′x cry(e ′ )τ(e) = IB(t ′ )τ(e ′ ) = t ′t ′′ e ′′¬t ′ ⊂ t ′′t ′′ = τ(e ′′ )x cry(e ′′ )τ(e) ⊆ t TTt TT ≺ n(222) PAST(IMP(HAB(λe l bump(e)))) ad (128)= λQ[tTT ≺ n ⊕Q(t TT)](λPλt[(λPλet ′′′t ′′′ ⊂ tC(t ′′′ )→ [t t ′ t ′′τ(e) = t≡ λQ[tTT ≺ n ⊕Q(t TT)](λPλt[eτ(e) ·⊃ t ⊕P(e)]e ′τ(e ′ ) = t ′′′ ⊕P(e ′ )](λe )))¬ [ ⊕P(e)] l bump(e)t ′ ⊂ tt ′′ ⊂ tC(t ′ )C(t ′′ )t ′ ≠ t ′′eτ(e) ·⊃ t ⊕P(e)]

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!