Exercise-ch6: Difference between revisions

From Lexical Resource Semantics
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  } { ) _3 } { * _3 } { PAT _5 } { ) _3 } { x _3 } { ) _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}
{ Few x (STUDENT * x : ((KNOW * e) * PAT) * x) }


</quiz>
</quiz>


== LRS combinatorics for quantifiers ==
== LRS combinatorics for quantifiers ==

Revision as of 22:36, 18 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, ...)


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