Exercise-ch5: Difference between revisions
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''' | |||
|| 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