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.

194 Appendix B: Examples spelled out= λQ[tTT ≺ n ⊕Q(t TT)](λPλt[(λPλe[¬ [t e ′τ(e) = IB(t)τ(e ′ ) = tt ′ e ′′t ⊂ t ′t ′ = τ(e ′′ )⊕P(e ′′ )]≡ λQ[tTT ≺ n ⊕Q(t TT)](λPλt[(λe[¬ [t ′ e ′′t ⊂ t ′t ′ = τ(e ′′ )t e ′τ(e) = IB(t)τ(e ′ ) = t≡ λQ[tTT ≺ n ⊕Q(t TT)](λPλt[(λe[t e ′eτ(e) ⊆ t ⊕P(e)]⊕P(e ′ )](λe x cry(e))))eτ(e) ⊆ t ⊕P(e)]⊕ λe x cry(e)(e ′′ )]eτ(e) ⊆ t ⊕P(e)]⊕ λe x cry(e)(e ′ )]))τ(e) = IB(t)τ(e ′ ) = tt ′ e ′′⊕ x cry(e ′ ) ]))¬ [ t ⊂ t ′ ⊕ x cry(et ′ = τ(e ′′ )′′ ) ]≡ λQ[tTT ≺ n ⊕Q(t TT)](λPλt[(λe[t e ′τ(e) = IB(t)τ(e ′ ) = tt ′ e ′′¬t ⊂ t ′t ′ = τ(e ′′ )x cry(e ′′ )eτ(e) ⊆ t ⊕P(e)]⊕ x cry(e ′ ) ]))≡ λQ[tTT ≺ n ⊕Q(t TT)](λPλt[t e ′x cry(e ′ )τ(e) = IB(t)eτ(e) ⊆ t ⊕P(e)](λe τ(e ′ ) = tt ′ e ′′¬t ⊂ t ′t ′ = τ(e ′′ )x cry(e ′′ )))

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

Saved successfully!

Ooh no, something went wrong!