Exercise-ch5

From Lexical Resource Semantics
Jump to navigation Jump to search

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