Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 27: Line 27:
|| By convention, the predicate that corresponds to the verb, here '''help''', combines last with the argument that corresponds to the active subject, here '''aragorn'''.
|| By convention, the predicate that corresponds to the verb, here '''help''', combines last with the argument that corresponds to the active subject, here '''aragorn'''.
- (('''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''.


</quiz>
</quiz>

Revision as of 22:44, 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:

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