Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
 
(12 intermediate revisions by 2 users not shown)
Line 3: Line 3:
== Functional notation ==
== Functional notation ==


<quiz display="simple">
We have introduced the functional notation and the eventuality variable in chapter 5. What are the new formulae that correspond to the formulae from chapter 2?
{We have introduced the functional notation and the eventuality variable in chapter 5. What are the new formulae that correspond to the formulae from chapter 2?}
 
<quiz display=simple>


{Notation from chapter 2: '''hobbit'''('''frodo''')<br />
{Notation from chapter 2: '''hobbit'''('''frodo''')<br />
New notation:}
New notation:
|type="[]"}
- '''frodo'''&bull;'''hobbit'''
- '''frodo'''&bull;'''hobbit'''
|| The functor ('''hobbit''') must precede the argument ('''frodo''').
|| The functor ('''hobbit''') must precede the argument ('''frodo''').
Line 13: Line 15:


{Notation from chapter 2: '''walk'''('''frodo''')<br />
{Notation from chapter 2: '''walk'''('''frodo''')<br />
New notation:}
New notation:
|type="[]"}
- '''walk'''&bull;'''frodo'''
- '''walk'''&bull;'''frodo'''
|| We introduced an eventuality variable for verbs. Typically written as ''e'' or ''s''.
|| We introduced an eventuality variable for verbs. Typically written as ''e'' or ''s''.
Line 22: Line 25:


{Notation from chapter 2: '''help'''('''aragorn''','''frodo''')<br />
{Notation from chapter 2: '''help'''('''aragorn''','''frodo''')<br />
New notation:}
New notation:
|type="[]"}
+ (('''help'''&bull;''e'')&bull;'''frodo''')&bull;'''aragorn'''
+ (('''help'''&bull;''e'')&bull;'''frodo''')&bull;'''aragorn'''
- (('''help'''&bull;''e'')&bull;'''aragorn''')&bull;'''frodo'''
- (('''help'''&bull;''e'')&bull;'''aragorn''')&bull;'''frodo'''
Line 30: Line 34:


</quiz>
</quiz>
{{FeedbackExercises}}


== Semantic types ==
== Semantic types ==


<quiz display="simple">
<quiz display=simple>
{Add the semantic types in the blanks. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)").}
{Add the semantic types in the blanks. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)").}


Line 53: Line 59:
</quiz>
</quiz>


== Basic combinatorics ==
{{FeedbackExercises}}


=== Basic mechanism with canonical examples ===
== Sorts and sortal restrictions ==
 
<quiz display=simple>
{Indicate the semantic sort of the underlined noun phrase.
|type="[]"}
| eventuality | object | kind | group
---+ <u>The committee</u> gathered around the meeting room.
-+-- The committee gathered in the <u>the meeting room</u>.
--+- They discussed who it might be possible to save <u>the panda</u> from extinction.
+--- Where will <u>their next meeting</u> take place?
 
 
</quiz>
 
{{FeedbackExercises}}
 
== Basic combinatorics: Canonical examples ==


<quiz display=simple>
<quiz display=simple>
Line 76: Line 98:
</quiz>
</quiz>


=== Basic mechanism with copula and argument-marking preposition ===
== Basic combinatorics: Examples with semantically "empty" elements ==


<quiz display="simple">
=== Copula and argument-marking preposition ===
 
<quiz display=simple>


{Sentence: ''Alex is happy.''<br />Logical form: (('''happy''' &bull; ''e'') &bull; '''alex''')<br />
{Sentence: ''Alex is happy.''<br />Logical form: (('''happy''' &bull; ''e'') &bull; '''alex''')<br />
Line 126: Line 150:


</quiz>
</quiz>
{{FeedbackExercises}}


=== Nominal expletives ===
=== Nominal expletives ===


<quiz display="simple">
<quiz display=simple>
{Sentence: ''It stormed.''<br />Logical form: '''storm''' &bull; ''s''<br />
{Sentence: ''It stormed.''<br />Logical form: '''storm''' &bull; ''s''<br />
Which parts of the logical form are contributed by which word?
Which parts of the logical form are contributed by which word?
Line 150: Line 176:


</quiz>
</quiz>
{{FeedbackExercises}}


=== Other constructions ===
=== Other constructions ===
Line 178: Line 206:


</quiz>
</quiz>
{{FeedbackExercises}}


<hr />
<hr />

Latest revision as of 22:44, 24 June 2014

Exercises for chapter 5: Simple LRS

Functional notation

We have introduced the functional notation and the eventuality variable in chapter 5. What are the new formulae that correspond to the formulae from chapter 2?

1 Notation from chapter 2: hobbit(frodo)
New notation:

frodohobbit
hobbitfrodo

2 Notation from chapter 2: walk(frodo)
New notation:

walkfrodo
(walke)•frodo
(walkfrodo)•e

3 Notation from chapter 2: help(aragorn,frodo)
New notation:

((helpe)•frodo)•aragorn
((helpe)•aragorn)•frodo
((helparagorn)•frodo)•e


Feel free to send feedback on this exercise to Manfred Sailer.

Semantic types

Add the semantic types in the blanks. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)").

1 Add the types for simple expressions:

a. frodo_


b. hobbit_


c. walk_


d. help_


e. (hobitx)_

2 Add the semantic types for complex expressions:

a. ((walk_

e_

) • aragorn_

)_

b. (hobbit_

y_

)_


Feel free to send feedback on this exercise to Manfred Sailer.

Sorts and sortal restrictions

Indicate the semantic sort of the underlined noun phrase.

eventuality object kind group
The committee gathered around the meeting room.
The committee gathered in the the meeting room.
They discussed who it might be possible to save the panda from extinction.
Where will their next meeting take place?


Feel free to send feedback on this exercise to Manfred Sailer.

Basic combinatorics: Canonical examples

1 Sentence: Pat snored.
Logical form: (snoree) • pat
Which parts of the logical form are contributed by which word?

e ¦pat ¦ snore ¦ snoree ¦ (snoree) • pat
Pat
snored

2 Sentence: Pat likes Chris.
Logical form: ((likee) • chris) • pat
Which parts of the logical form are contributed by which word?

e ¦pat ¦ chris ¦ like ¦ likee ¦ (likee) • chris ¦ ((likee) • chris) • pat
Pat
likes
Chris


Basic combinatorics: Examples with semantically "empty" elements

Copula and argument-marking preposition

1 Sentence: Alex is happy.
Logical form: ((happye) • alex)
Which parts of the logical form are contributed by which word?

e ¦ alex ¦ happy ¦ happye ¦ (happye) • alex
Alex
is
happy

2 Sentence: Alex had been happy.
Logical form (ignoring tense and aspect!): ((happye) • alex)
Which parts of the logical form are contributed by which word?

e ¦ alex ¦ happy ¦ happye ¦ (happye) • alex
Alex
had
been
happy

3 Sentence: Pat waited for Chris
Logical form: ((waite) • chris) • pat
Which parts of the logical form are contributed by which word?

e ¦ chris ¦ pat ¦ wait ¦ waite ¦ (waite) • chris ¦ ((waite) • chris) • pat
Pat
waited
for
Chris

4 Sentence: Kim is proud of Fido
Logical form: ((proud-ofe) • fido) • kim
Which parts of the logical form are contributed by which word?

e ¦ kim ¦ fido ¦ proud-of ¦ proud-ofe ¦ (proud-ofe) • fido ¦ ((proud-ofe) • fido) • kim
Kim
is
proud
of
Fido


Feel free to send feedback on this exercise to Manfred Sailer.

Nominal expletives

1 Sentence: It stormed.
Logical form: storms
Which parts of the logical form are contributed by which word?

s ¦ storm ¦ storms
It
stormed

2 Sentence: It was snowing.
Logical form: snows
Which parts of the logical form are contributed by which word?

s ¦ snow ¦ snows
It
was
snowing


Feel free to send feedback on this exercise to Manfred Sailer.

Other constructions

1 Sentence: Pat did not call.
Logical form: ¬ ((call • e) • pat
Which parts of the logical form are contributed by which word?

e ¦ pat ¦ call ¦ calle ¦ (calle) • pat ¦ ¬ ((calle) • pat)
Pat
did
not
call

2 Sentence: Alex gave up on Pat.
Logical form: ((give-upe) • pat) • alex
Which parts of the logical form are contributed by which word?

e ¦ alex ¦ pat ¦ give-up ¦ give-upe ¦ (give-upe) • pat ¦ ((give-upe) • pat) • alex
Alex
gave
up
on
Pat


Feel free to send feedback on this exercise to Manfred Sailer.


Back to