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.

Appendix BExamples spelled outIn this appendix I give the <strong>in</strong>termediate steps <strong>in</strong> the reductions <strong>for</strong> some of theexamples <strong>in</strong> chapter 4. It’s all lambda-conversion and merg<strong>in</strong>g.(219) PAST(IMP(λe k<strong>in</strong>g(e))) ad (105)= λQ[tTT ≺ n ⊕Q(t TT)](λPλt[≡ λQ[tTT ≺ n ⊕Q(t TT)](λt[≡ λQ[tTT ≺ n ⊕Q(t TT)](λt[≡ λQ[tTT ≺ n ⊕Q(t TT)](λt≡tTT ≺ n ⊕ λt ep k<strong>in</strong>g(e)τ(e) ·⊃ t≡tTT ≺ n ⊕ ep k<strong>in</strong>g(e)τ(e) ·⊃ t TT≡ep k<strong>in</strong>g(e)τ(e) ·⊃ t TTt TT ≺ neτ(e) ·⊃ t ⊕P(e)](λe k<strong>in</strong>g(e) ))eτ(e) ·⊃ t ⊕ λe k<strong>in</strong>g(e) (e)])eτ(e) ·⊃ t ⊕ k<strong>in</strong>g(e) ])ep k<strong>in</strong>g(e)τ(e) ·⊃ t(t TT ))(220) PAST(AOR(MAX(λe i senator(e)))) ad (112)

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

Saved successfully!

Ooh no, something went wrong!