Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 15: Line 15:
New notation:}
New notation:}
- '''walk'''•'''frodo'''
- '''walk'''•'''frodo'''
|| We introduced an eventuality variable for verbs. Typically written as ''e'' or ''s''.
+ ('''walk'''•''e'')•'''frodo'''
+ ('''walk'''•''e'')•'''frodo'''
- ('''walk'''•'''frodo''')•''e''
- ('''walk'''•'''frodo''')•''e''
|| By convention the predicate associated with the verb, here '''walk''', combines with the eventuality variable first.




Line 22: Line 24:
New notation:}
New notation:}
+ (('''help'''•''e'')•'''frodo''')•'''aragorn'''
+ (('''help'''•''e'')•'''frodo''')•'''aragorn'''
+ (('''help'''•''e'')•'''aragorn''')•'''frodo'''
- (('''help'''•''e'')•'''aragorn''')•'''frodo'''
+ (('''help'''•'''aragorn''')•'''frodo''')•''e''
|| 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''


</quiz>
</quiz>

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

Retrieved from "https://www.lexical-resource-semantics.de/wiki/index.php?title=Exercise-ch5&oldid=3660"