Feedback on teaching week assignments
-------------------------------------

Part on modal logic and description logic:

Ex. 1: Overall posed no problems.

Ex. 2: 1. Answers satisfactory
       2. Some of you gave only a partial translation of the problem.
       3. Satisfactory answers

Ex. 3: 1. (b), (c), (d) seemed to be tricky for many.
       2. Some of you lost marks for using tableau to solve the
          wrong reduction of the problem
       3. Same as 2.
       4. Satisfactory answers