Exercise-ch6: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 1: Line 1:
= Exercises for chapter 6: Quantifiers =
= Exercises for chapter 6: Quantifiers =


<nowiki>
    S
  / \
  NP  V
</nowiki>


Lehmannscher HTML-Baum
S
NP
VP
V
Det
Pat knows most students
Quelltext
<html> <head> <title>...</title> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <meta http-equiv="Content-Style-Type" content="text/css"> <style type="text/css"> <!-- table { margin-top:8pt; font-family:"Arial Unicode MS",Arial,sans-serif; font-size:11pt; border-color:#9999cc; border-collapse:collapse; } table.insert { background-color:#ffffff; color:#000033; align:"center"; } caption { position:absolute; left:0px; padding-bottom:8pt; font-style:italic; } td { padding-left:6px; padding-right:6px; border-color:#9999cc; } *.border_trbl { border-style:solid; border-width:1px; } *.border_t { border-top-style:solid; border-width:1px } *.border_r { border-right-style:solid; border-width:1px; } *.border_b { border-bottom-style:solid; border-width:1px; } *.border_l { border-left-style:solid; border-width:1px; } *.border_tr { border-top-style:solid; border-right-style:solid; border-width:1px; } *.border_tb { border-top-style:solid; border-bottom-style:solid; border-width:1px; } *.border_tl { border-top-style:solid; border-left-style:solid; border-width:1px; } *.border_rb { border-right-style:solid; border-bottom-style:solid; border-width:1px; } *.border_rl { border-right-style:solid; border-left-style:solid; border-width:1px; } *.border_bl { border-bottom-style:solid; border-left-style:solid; border-width:1px; } *.border_trb { border-top-style:solid; border-right-style:solid; border-bottom-style:solid; border-width:1px; } *.border_trl { border-top-style:solid; border-right-style:solid; border-left-style:solid; border-width:1px; } *.border_tbl { border-top-style:solid; border-bottom-style:solid; border-left-style:solid; border-width:1px; } *.border_rbl { border-right-style:solid; border-bottom-style:solid; border-left-style:solid; border-width:1px; } --> </style> </head> <body> <table border="0" cellpadding="0" cellspacing="0" class="insert" style='font-size: 10pt'> <caption></caption> <tr> <td ><br> </td> <td colspan="2" align="center">S </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td colspan="2" align="center">NP </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td class="border_tl"><br> </td> <td class="border_t"><br> </td> <td class="border_t"><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td colspan="2" align="center">VP </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td colspan="2" align="center">V </td> <td ><br> </td> <td ><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td class="border_tl"><br> </td> <td class="border_t"><br> </td> <td class="border_t"><br> </td> <td class="border_l"><br> </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td colspan="2" align="center">Det </td> <td ><br> </td> </tr><tr> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td class="border_l"><br> </td> <td ><br> </td> <td class="border_tl"><br> </td> <td class="border_t"><br> </td> <td class="border_l"><br> </td> </tr><tr> <td colspan="2" align="center">Pat </td> <td colspan="2" align="center">knows </td> <td colspan="2" align="center">most </td> <td colspan="2" align="center">students </td> </tr> </table> </body> </html>
== Quantifier denotation ==
== Quantifier denotation ==



Revision as of 22:00, 25 November 2013

Exercises for chapter 6: Quantifiers

S / \ NP V

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:


Provide the logical form of the following sentences. For the solutions, mark the -seemingly emtpy- line below the sentence with your mouse.

  1. Sentence: Every student asked Alex.
    Logical form: x (studentx : ((helpe) • alex) • x)
  2. Sentence: Alex talked to Chris about many movies.
    Logical form: Many x (moviex : (((talk-to-aboute) • chris) • x) • alex)
  3. Sentence: Chomsky wrote at least four books that Alex has read.
    Logical form: AtLeast-4 x ((bookx ∧ ((reade) • x) • alex) : ((writeu) • 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.

1 Sentence: Pat was asleep.

Logical form:

((be-asleeps) • pat)

2 Sentence: Pat wasn't asleep.

Logical form:

¬

((be-asleeps) • pat)

3 Sentence: Alex studied in Frankfurt and lived in Berlin.

Logical form:

(

((study-inu) • frankfurt) • alex

((live-inv) • berlin) • alex)

4 Sentence: Alex walked and Chris ran.

Logical form:

(

(walke) • alex

(runu) • chris)

5 Sentence: Two students worked in the library.

Logical form for the collective reading:

Two x (

studentx:

(work-in-librarye) • x)
Logical form for the distributive reading:

Two x (

studentx:

(work-in-librarye) • x)


LRS combinatorics for quantifiers

Eventuality quantification

Which meaning contributions stem from which words in the sentence?

1 Sentence: Pat called.
Logical form: ∃e ((calle) • pat)

e ¦ pat ¦ call ¦ calle ¦ (calle) • pat ¦e (...)
Pat
called

2 Sentence: Pat didn't call.
Logical form: ¬∃e ((calle) • pat)

e ¦ pat ¦ call ¦ calle ¦ (calle) • pat ¦e (...) ¦ ¬(...)
Pat
didn't
call


Sentences with quantifiers

Which meaning contributions stem from which words in the sentence?

1 Sentence: Some students called.
Logical form: Some x (studentx: ∃e ((calle) • x)

e ¦ x ¦ call ¦ student ¦ Some ¦ calle ¦ (calle) • x ¦e (...) ¦ studentx ¦ Some x (...:...)
Some
students
called

2 Sentence: Many farmers grow few vegetables.
Logical form for reading 1: Many x (farmerx: Few y (vegetabley : ∃e (((growe) • x) • y)))
Logical form for reading 2: Few y (vegetabley: Many x (farmerx : ∃e (((growe) • x) • y)))

e ¦ x ¦ y ¦ farmer ¦ vegetable ¦ grow ¦ Many ¦ Few ¦ farmerx ¦ vegetabley ¦ growe ¦ (growe) • y ¦ ((growe) • y) • x ¦ e (...) ¦ Many x (...:...) ¦ Few y (...:...)
Many
farmers
grow
few
vegetables