LING 165C Lecture Notes - Lecture 5: Phrasal Verb, Identity Function, Beagle
Document Summary
The two expressions have no extra free variables. They get the same result at every assignment. The beta conversion of the above expression x[walk"(x)](j) is walk"(j) Where (is obedient) is a vp which is equivalent to s/ l np. Obedient is a function that takes in an entity and returns a truth value. Its a property that tells is whether something have or something don"t. S/np takes in a np from the domain and return something s. by that logic. Mitka( np ) obedient( s/np ) is a sentence, but in reality it is not. Even though mitka obedient can"t stand alone as sentence, but when we placed in inside another sentence, it works. With mitka obedient finally we can get to sleep . Because of this, we need subtypes, i. e restrict what is returned by combination from mitka obedient . In the example above, we will enforce verbs like with and prefer to take in small-clause.