Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 28: Line 28:
- (('''help'''•'''aragorn''')•'''frodo''')•''e''
- (('''help'''•'''aragorn''')•'''frodo''')•''e''
|| By convention, the predicate that corresponds to the verb, here '''help''', combines first with the eventuality variable, here ''e''.
|| By convention, the predicate that corresponds to the verb, here '''help''', combines first with the eventuality variable, here ''e''.
</quiz>
== Semantic types ==
<quiz>
{Add the semantic types in the blanks. Example: '''frodo'''_e
|type={}}
a. '''frodo'''_{e_1}<br />
b. '''hobbit'''_{<e,t>_5}


</quiz>
</quiz>

Revision as of 22:49, 15 March 2013

Exercises for chapter 5: Simple LRS

New 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:

frodo•hobbit
hobbit•frodo

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

walk•frodo
(walk•e)•frodo
(walk•frodo)•e

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

((help•e)•frodo)•aragorn
((help•e)•aragorn)•frodo
((help•aragorn)•frodo)•e


Semantic types

  

Add the semantic types in the blanks. Example: frodo_e

|type={}} a. frodo_{e_1}

b. hobbit_{<e,t>_5

Retrieved from "http:///wiki/index.php?title=Exercise-ch5&oldid=3663"