Lucas Champollion's NYU 2016 course
# Please open this file with the Lambda Calculator, www.lambdacalculator.com
# v1.3 - Jan 27, 2016
# Author and license holder of this file: Lucas Champollion (champollion@nyu.edu)
# This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International
# License (CC BY-SA 4.0). You are free to share: copy and redistribute the material in
# any medium or format; adapt: remix, transform, and build upon the material for any
# purpose, even commercially, under the following conditions:
# Attribution: You must give appropriate credit, provide a link to the license, and
# indicate if changes were made. You may do so in any reasonable manner, but not in any
# way that suggests the licensor endorses you or your use.
# ShareAlike: If you remix, transform, or build upon the material, you must distribute
# your contributions under the same license as the original.
# The copyright to the work by the authors implemented here remains with them. For full
# citations, please consult the NASSLLI/ESSLLI 2014 lecture notes.
# changelog:
# v1.3 - Jan 27, 2016
# changed name to NYU
# v1.2 - Aug 13, 2014
# Added cumulative reading example to Day 2
# v1.1 - June 22, 2014
# Minor changes to exercise titles
# v1.0 - June 18, 2014
# Original release
# General constants and variables
constants of type : invite talk bark visit laugh catch eat
constants of type e : john mary spot
constants of type : ag th
constants of type : agent theme
constants of type : boy boys girl girls three-boys four-girls diplomat country fish
constants of type : card
constants of type : atom-of
constants of type t: true
constants of type : before within
constants of type v: now tr
constants of type : hours
constants of type : time
variables of type e : x y z
variables of type v : e t
variables of type : P R
variables of type : Q
variables of type : f
variables of type : V
variables of type <,> : M
variables of type <,> : C D
multiple letter identifiers
use rule function application
use rule non-branching nodes
use rule predicate modification
use rule lambda abstraction
# Day 2
define John : john
define Mary : mary
define invite, invited : Ly.Lx.Le.invite(e) & ag(e,x) & th(e,y)
define talk : Lx.Le.talk(e) & ag(e,x)
define LIFT-IV : LR_.LQ.Le.Q(Lx.R(x)(e))
define LIFT-TV : LR_>.LQ.Lx.Le.Q(Ly.R(y)(x)(e))
define three-boys-sum: LP.Ex'[boys(x') & card(x') = 3 & P(x')]
define four-girls-sum: LP.Ex'[girls(x') & card(x') = 4 & P(x')]
define EC: Lf.Ee.f(e)
define every-boy: LP.Ax[boy(x) -> P(x)]
define SQI-shift: LQ.LP.Q(Lx.Ax'[atom-of(x',x) -> P(x')])
define three-boys: LP.Ex[three-boys(x) & P(x)]
define four-girls: LP.Ey[four-girls(y) & P(y)]
# Day 3
define spot : spot
define bark, barks: Le.barking(e)
define agent: Lx.Le.ag(e,x)
define event-id: Lf_.Lg_.Lx.Le.[g(e) & f(x)(e)]
define no-dog: LP.~Ex[dog(x) & P(x)]
define kiss, kissed: Lf.Ee[kiss(e) & f(e)]
define closure: Le.true
define ag: LQ.LV.Lf.Q(Lx.V(Le[f(e) & agent(e) = x]))
define th: LQ.LV.Lf.Q(Lx.V(Le[f(e) & theme(e) = x]))
define JohnQ: LP.P(john)
define MaryQ: LP.P(mary)
define every-girl: LP.Ax[girl(x) -> P(x)]
define diplomat: Lx.diplomat(x)
define country: Lx.country(x)
define a: LR.LP.Ex[R(x) & P(x)]
define every: LR.LP.Ay[R(y) -> P(y)]
define visit, visited: Lf.Ee[visit(e) & f(e)]
define th-lift: LQ.LV.LM.Lf.Q(Lx.[M(V)(Le.[f(e) & theme(e)=x])])
# Day 4
define not : LVLf.~V(Le[f(e)])
define laugh, laughed: Lf.Ee[laugh(e) & f(e)]
define past-closure: LV[before(tr,now) & V(Le[before(e,tr)])]
define for-two-hours: LVLfEt[hours(t)=2 & within(t,tr) & At'[within(t', t) -> V(Le[f(e) & time(e) = t'])]]
define catch: LfEe[catch(e) & f(e)]
define eat: LfEe[eat(e) & f(e)]
define catch-and-eat: Lf[Ee[catch(e) & f(e)] & Ee'[eat(e') & f(e')]]
define a-fish: LP.Ex[fish(x) & P(x)]
define th2: LVLQLf[Q(Lx[V(Le[f(e) & theme(e)=x])])]
define and: LV'.LV.Lf.V(f) & V'(f)
define and2: LC'.LC.LQ.Lf.[C(Q)(f) & C'(Q)(f)]
# Day 5
define less-than-three-girls: LP.|{x|girl(x)} ^^ {x|P(x)}| < 3
define sing: LfEe[sing(e) & f(e)]
define ed: LVLfEt[before(t,now) & V(Le[f(e) & within(e,t)])]
##########################################################################################
exercise tree
title Day 2 of NYU 2016 course (Champollion)
instructions Day 2, example 30\\ \\ invite Mary
[.VP invite Mary]
instructions Day 2, example 31\\ \\ talk (lifted)
[.V_0 LIFT-IV talk]
instructions Day 2, example 32\\ \\ invite (lifted)
[.V_0 LIFT-TV invite]
instructions Day 2, example 33\\ \\ Three boys invited Mary.
[.IP three-boys-sum [.VP LIFT-IV [.VP invite Mary]]]
instructions Day 2, example 35\\ \\ Three boys invited Mary.
[.CP EC [.vP three-boys-sum [.VP LIFT-IV [.VP invite Mary]]]]
instructions Day 2, example 36\\ \\Every boy invited Mary.
[ every-boy [1 [.CP EC [.vP t_1 [.VP invite Mary]]]]]
instructions Day 2, example 38\\ \\Three boys. (SQI-shift)
[.DP SQI-shift three-boys ]
instructions Day 2\\ \\Three boys invited four girls (cumulative reading).
[.CP EC [.IP three-boys-sum [.VP LIFT-IV [.VP [.V LIFT-TV invited] four-girls-sum]]]]
instructions Day 2, figure 2.2\\ \\Three boys invited four girls. (distributive reading)
[ [.DP three-boys SQI-shift ] [1 [.CP EC [.vP t_1 [.VP [.V_0 LIFT-TV invited] four-girls]]]]]
exercise tree
title Day 3 of NYU 2016 course (Champollion)
instructions Day 3, figure 3.1\\ \\ Spot barks.
[.IP EC [ spot [.VoiceP [event-id agent] barks ]]]
instructions Day 3, figure 3.2\\ \\ No dog barks.
[ no-dog [ 1 [.IP EC [.VoiceP t_1 [.Voice' [event-id agent] barks ]]]]]
instructions Day 3, example 9 (see below in the text for an explanation of the theme head)\\ \\ kiss Mary
[ kiss [ MaryQ th ]]
instructions Day 3, example 10 (see below in the text for an explanation of the theme head)\\ \\ kiss every girl
[ kiss [ every-girl th ]]
instructions Day 3, figure 3.3\\ \\ John kissed every girl.
[.CP closure [.IP [.DP JohnQ ag] [.VP kissed [.DP every-girl th]]]]
instructions Day 3, figure 3.4\\ \\ A diplomat visited every country (surface scope).
[.CP closure [.IP [.DP [a diplomat] ag] [.VP visited [.DP [every country] th]]]]
instructions Day 3, figure 3.5\\ \\ A diplomat visited every country (inverse scope).
[.CP closure [.IP [.DP [a diplomat] ag] [.VP visited [.DP [every country] th-lift]]]]
exercise tree
title Day 4 of NYU 2016 course (Champollion)
instructions Day 4, example 7\\ \\ John did not laugh.
[.CP closure [[.DP JohnQ ag] [.VP (did) [not laugh]]]]
instructions Day 4, example 10\\ \\ John did not laugh for two hours. (inverse scope)
[.CP past-closure [[.DP JohnQ ag] [.VP [.VP (did) [not laugh]] for-two-hours]]]
instructions Day 4, example 11\\ \\ John did not laugh for two hours. (surface scope)
[.CP past-closure [[.DP JohnQ ag] [.VP (did) [not [.VP laugh for-two-hours]]]]]
instructions Day 4, example 29\\ \\ catch and eat a fish (one-fish reading)
[.VP [catch [and eat]] [.DP a-fish th]]
instructions Day 4, example 30\\ \\ catch and eat a fish (two-fish reading)
[.VP [[.V_0 th2 catch] [and2 [.V_0 th2 eat]]] a-fish]
exercise tree
title Day 5 of NYU 2016 course (Champollion)
instructions Day 5, example 14\\ \\ Less than three girls sing.
[.CP closure [.IP [.DP less-than-three-girls ag] sing]]
instructions Day 5, example 25\\ \\ Mary laughed.
[.CP closure [.IP [.DP [MaryQ ag] laugh] ed]]