Exercise-ch6: Difference between revisions
Jump to navigation
Jump to search
Line 61: | Line 61: | ||
|type="{}"} | |type="{}"} | ||
Logical form: { Few _9 } { x _3 } { ( _3 } { STUDENT _9 } { * _3 } { x _3 } { : _3 } { ( _3 } { ( _3 } { KNOW _9 } { * _3 } { e _3 | Logical form: { Few _9 } { x _3 } { ( _3 } { STUDENT _9 } { * _3 } { x _3 } { : _3 } { ( _3 } { ( _3 } { KNOW _9 } { * _3 } { e _3 } { ) _3 } { * _3 } { PAT _5 } { ) _3 } { * _3 } { x _3 } { ) _3} | ||
</quiz> | </quiz> | ||
== LRS combinatorics for quantifiers == | == LRS combinatorics for quantifiers == |
Revision as of 22:37, 18 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, ...)
Example:
- Sentence: Alex met some student.
- Logical form: Some x (STUDENT * x : ((MEET * e) * x) * ALEX)