Exercise-ch6: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 57: Line 57:
{Sentence: ''Chris read many book.''
{Sentence: ''Chris read many book.''
|type="{}"}
|type="{}"}
Logical form: { Many _5 } x ({ BOOK _6 } * { x _1}: ((READ * e) * { x _1 }) * { CHRIS _7 })  
Logical form: { Many _5 } x ({ BOOK _6 } * { x _1}: ((READ { * _2 } e) * { x _1 }) * { CHRIS _7 })  


{Sentence: ''Few students know Pat.''
{Sentence: ''Few students know Pat.''

Revision as of 15:45, 19 November 2013

Exercises for chapter 6: Quantifiers

Quantifier denotation

Complete the paraphrase for the following sentences with quantifiers.

1 Sentence: Pat read many books.

For

x such that

is a

, Pat

x.

2 Sentence: Most students work hard.

For

such

x is a

,

works

.

3 Sentence: Pat knows some good movies.

For

x

,

.


Complete the paraphrases for the following ambiguous sentences with quantifiers.

1 Sentence: Every linguist knows at least two languages.

Reading 1: For

least

x such that

is a

, for every y such that

a

,

knows

.
Reading 2:

y

that

,

at least

x

is

,

.

2 Sentence: Few actors star in many movies.

Reading 1:

x

is an actor,

y is a

,

in

.
Reading 2:

y

,

is

, x

in

.


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)

1 Sentence: Chris read many book.

Logical form:

x (

*

((READ

e) *

) *

)

2 Sentence: Few students know Pat.

Logical form:


LRS combinatorics for quantifiers