Lucas Champollion's talk at BRIDGES 2014 workshop
# Please open this file with the Lambda Calculator, www.lambdacalculator.com
# v1.0 - Aug 24, 2014
# 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 talk handout at:
# http://www.nyu.edu/projects/champollion/deutsches_haus_2014_handout.pdf
# changelog:
# v1.0 - June 18, 2014
# Original release
# General constants and variables
constants of type : invite talk bark visit laugh catch eat sing dance rotate heat-up quick slow
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
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)]
define spot : spot
define bark, barks: Le.barking(e)
define bark2: Lf.Ee[barking(e) & f(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 SpotQ: LP.P(spot)
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])])
define not : LVLf.~V(f)
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 dance,dances: LfEe[dance(e) & f(e)]
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)]
define less-than-three-girls: LP.|{x|girl(x)} ^^ {x|P(x)}| < 3
define sing,sings: LfEe[sing(e) & f(e)]
define ed: LVLfEt[before(t,now) & V(Le[f(e) & within(e,t)])]
define rotate: LfEe[rotate(e) & f(e)]
define heat-up: LfEe[heat-up(e) & f(e)]
define quickly: LVLf.V(Le.f(e) & quick(e))
define slowly: LVLf.V(Le.f(e) & slow(e))
define v: LfLxLe[f(e) & agent(e)=x]
##########################################################################################
exercise tree
title BRIDGES 2014 workshop: Champollion (Inter-theoretic relations)
instructions Spot barks.
[.IP EC [.vP spot [.v' v barks ]]]
instructions No dog barks.
[ no-dog [ 1 [.IP EC [.vP t_1 [.v' v barks ]]]]]
instructions kiss Mary
[ kiss [ MaryQ th ]]
instructions kiss every girl
[ kiss [ every-girl th ]]
instructions John kissed every girl.
[.CP closure [.IP [.DP JohnQ ag] [.VP kissed [.DP every-girl th]]]]
instructions A diplomat visited every country (surface scope).
[.CP closure [.IP [.DP [a diplomat] ag] [.VP visited [.DP [every country] th]]]]
instructions A diplomat visited every country (inverse scope).
[.CP closure [.IP [.DP [a diplomat] ag] [.VP visited [.DP [every country] th-lift]]]]
instructions sing and dance
[ sing [and dance]]
instructions John sings and dances
[ closure [ [JohnQ ag] [ sings [and dances]]]]
instructions rotate quickly and heat up slowly
[ [rotate quickly] [and [heat-up slowly]]]
instructions Spot did not bark.
[.CP closure [[.DP SpotQ ag] [.VP (did) [not bark2]]]]