Exercise-ch5: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 37: Line 37:
|type="{}"}
|type="{}"}


a. '''frodo'''_{ e _1 }<br />
a. '''frodo'''_{ e _13 }<br />
b. '''hobbit'''_{ (e,t) _5 }<br />
b. '''hobbit'''_{ (e,t) _13 }<br />
c. '''walk'''_{ (e,(e,t)) _9 }<br />
c. '''walk'''_{ (e,(e,t)) _13 }<br />
d. '''help'''_{ (e,(e,(e,t))) _13}<br />
d. '''help'''_{ (e,(e,(e,t))) _13}<br />
e. ('''hobit'''&bull;''x'')_{ t }
e. ('''hobit'''&bull;''x'')_{ t _13}




</quiz>
</quiz>

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


Semantic types

Add the semantic types in the blanks. Use simple letters ("e" or "t") for simple types. Use round brackets for complex types (for example: "(e,t)").

a. frodo_


b. hobbit_


c. walk_


d. help_


e. (hobitx)_