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.

198 Appendix B: Examples spelled out≡ λQ[tTT ≺ n ⊕Q(t TT)](λt[≡ λQ[tTT ≺ n ⊕Q(t TT)](λt[t t ′ t ′′τ(e) = tt ′′′ e ′t ′′′ ⊂ t → τ(e ′ ) = t ′′′C(t ′′′ ) l bump(e ′ )eτ(e) ·⊃ t ⊕ λe ¬ l bump(e)t ′ ⊂ tt ′′ ⊂ tC(t ′ )C(t ′′ )t ′ ≠ t ′′t t ′ t ′′τ(e) = tt ′′′t ′′′ ⊂ t →C(t ′′′ )eτ(e) ·⊃ t ⊕e ′τ(e ′ ) = t ′′′l bump(e ′ )])¬ l bump(e)t ′ ⊂ tt ′′ ⊂ tC(t ′ )C(t ′′ )t ′ ≠ t ′′(e)])])Variable t has to be renamed. t becomes t ′ , t ′ becomes t ′′ , t ′′ becomes t ′′′ ,t ′′′ becomes t ′′′′ :≡ λQ[tTT ≺ n ⊕Q(t TT)](λt[eτ(e) ·⊃ t ⊕ ¬ l bump(e)t ′ t ′′ t ′′′τ(e) = t ′t ′′′′t ′′′′ ⊂ t ′C(t ′′′′ )→e ′τ(e ′ ) = t ′′′′l bump(e ′ )t ′′ ≠ t ′′′t ′′ ⊂ t ′t ′′′ ⊂ t ′C(t ′′ )C(t ′′′ )

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

Saved successfully!

Ooh no, something went wrong!