Exercise-ch6: Difference between revisions
Line 152: | Line 152: | ||
<quiz display=simple> | <quiz display=simple> | ||
{Sentence: ''Pat | {Sentence: ''Pat read many books.''<br /> | ||
Logical form: Many x (BOOK*x : Exists e (((READ*e)*x)*PAT)) | Logical form: Many x (BOOK*x : Exists e (((READ*e)*x)*PAT)) | ||
|type="{}"} | |type="{}"} | ||
Line 160: | Line 160: | ||
''many'': MAIN { Many _8 } IN-CONT { Many x (BOOK*x : Exists e (((READ*e)*x)*PAT)) _50} | ''many'': MAIN { Many _8 } IN-CONT { Many x (BOOK*x : Exists e (((READ*e)*x)*PAT)) _50} | ||
''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50} | ''books'': MAIN { BOOK _7 } IN-CONT { BOOK*x _50} | ||
{Sentence: ''Alex might call.''<br /> | |||
Logical form: MIGHT (Exists e ((CALL*e)*ALEX)) | |||
|type="{}"} | |||
''Alex'': MAIN { ALEX _10 } IN-CONT { ALEX _50} | |||
''might'': MAIN { MIGHT _8} IN-CONT { (CALL*e)*ALEX _50} | |||
''call'': MAIN { CALL _8 } IN-CONT { (CALL*e)*ALEX _50} | |||
|| ''might'' is an INTERNAL-CONTENT raiser, i.e., its INTERNAL-CONTENT value is identical with that of its complement VP. | |||
</quiz> | </quiz> |
Revision as of 01:07, 26 November 2013
Exercises for chapter 6: Quantifiers
Quantifier denotation
Complete the paraphrase for the following sentences with quantifiers.
Complete the paraphrases for the following ambiguous sentences with quantifiers.
Logical forms for sentences with quantifiers
Provide the logical form of the following sentences. (Ignore the eventuality quantification.)
(Use: (i) lower case letters for variables (e,x,y,z, ...), (ii) upper case letters for predicates and name constant (LIKE, PAT, ...), (iii) capitalized words for quantifiers (Every, Most, Atleast, ..., (iv) use "*" for the bullet operator.)
Note that the brackets and the "bullet operator" also count as symbols.
Example:
Sentence: Alex met some student.
Logical form: Some x (STUDENT * x : ((MEET * e) * x) * ALEX)
Provide the logical form of the following sentences. For the solutions, mark the -seemingly emtpy- line below the sentence with your mouse.
- Sentence: Every student asked Alex.
Logical form: ∀ x (student • x : ((help • e) • alex) • x) - Sentence: Alex talked to Chris about many movies.
Logical form: Many x (movie • x : (((talk-to-about • e) • chris) • x) • alex) - Sentence: Chomsky wrote at least four books that Alex has read.
Logical form: AtLeast-4 x ((book • x ∧ ((read • e) • x) • alex) : ((write • u) • x) • chomsky)
Eventuality quantification
Add the eventualiy quantification in the right position in the logical forms of the following sentences. Write "_" if nothing needs to be put in a particular slot and "Exists" for the existential quantifier and add the appropriate variable.
LRS combinatorics for quantifiers
Eventuality quantification
Which meaning contributions stem from which words in the sentence?
Sentences with quantifiers
Which meaning contributions stem from which words in the sentence?
INTERNAL-CONTENT and MAIN value
Indicate the MAIN and the INTERNAL-CONTENT value of the words in the sentences.
(Hint: Copy the relevant parts from the indicated logical form of the sentences)