SoSe21: Constraint-based Semantics 2: Difference between revisions
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
If you have successfully passed a Semantics 1 course by Frank Richter, Gert Webelhuth, or Manfred Sailer, you need not do the entrance test. | If you have successfully passed a Semantics 1 course by Frank Richter, Gert Webelhuth, or Manfred Sailer, you need not do the entrance test. | ||
= Meeting 2 = | |||
== Functional 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? | |||
<quiz display=simple> | |||
{Notation from chapter 2: '''hobbit'''('''frodo''')<br /> | |||
New notation: | |||
|type="[]"} | |||
- '''frodo'''•'''hobbit''' | |||
|| The functor ('''hobbit''') must precede the argument ('''frodo'''). | |||
+ '''hobbit'''•'''frodo''' | |||
{Notation from chapter 2: '''walk'''('''frodo''')<br /> | |||
New notation: | |||
|type="[]"} | |||
- '''walk'''•'''frodo''' | |||
|| We introduced an eventuality variable for verbs. Typically written as ''e'' or ''s''. | |||
+ ('''walk'''•''e'')•'''frodo''' | |||
- ('''walk'''•'''frodo''')•''e'' | |||
|| By convention the predicate associated with the verb, here '''walk''', combines with the eventuality variable first. | |||
{Notation from chapter 2: '''help'''('''aragorn''','''frodo''')<br /> | |||
New notation: | |||
|type="[]"} | |||
+ (('''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'' | |||
|| By convention, the predicate that corresponds to the verb, here '''help''', combines first with the eventuality variable, here ''e''. | |||
</quiz> | |||
{{FeedbackExercises}} | |||
== Semantic types == | |||
<quiz display=simple> | |||
{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)").} | |||
{Add the types for simple expressions: | |||
|type="{}"} | |||
a. '''frodo'''_{ e _13 }<br /> | |||
b. '''hobbit'''_{ (e,t) _13 }<br /> | |||
c. '''walk'''_{ (e,(e,t)) _13 }<br /> | |||
d. '''help'''_{ (e,(e,(e,t))) _13}<br /> | |||
e. ('''hobit'''•''x'')_{ t _13} | |||
{Add the semantic types for complex expressions: | |||
|type="{}"} | |||
a. (('''walk'''_{ (e,(e,t)) _9 } • ''e''_{ e _1 }) • '''aragorn'''_{ e _1 })_{ t _1 } | |||
b. ('''hobbit'''_{ (e,t) _5} • ''y''_{ e _1 })_{ t _1 } | |||
</quiz> | |||
{{FeedbackExercises}} | |||
Latest revision as of 23:12, 20 April 2021
Course requirements
Portfolio
(Will be specified in during the course)
- Syntactic structure of English negated sentences
- Classify negation in a text
- Choose a different language.
- Translate relevant sentence.
- Provide semantics
- Adapt the interpretive constraints
Entrance test
In order to participate in the course you need to send your solutions to the following test to sailer@em.uni-frankfurt.de no later than March 19, 2021.
You can find some help on the page with the mock exam for the Semantics 1 class of the summer term 2015: mock exam SoSe 2015
If you have successfully passed a Semantics 1 course by Frank Richter, Gert Webelhuth, or Manfred Sailer, you need not do the entrance test.
Meeting 2
Functional 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?
Feel free to send feedback on this exercise to Manfred Sailer.
Semantic types
Feel free to send feedback on this exercise to Manfred Sailer.