Task 1: Sets (36 points) Look at the following Class diagram, which is an object view of a current system state. The objects on the left are of type Student and the objects on the right of type Course. Hans 215 Karl 315 Andrea Takes S15 Klaus 415 Jule Take Understand Z-Notation (18 points - 3 each) Answer the following questions about each of the given statements. Is this statement a set or a predicate? What does the statement evaluate to? E.g. if it is a set then write what is contained in that set, if it is a predicate state if it evaluates to true or false 11: Student b : Course . (a, b) Takes 2.a : Student l a.name = Hans3b : Course (a, b) E Takes 3. a : Student | a.name = Hans b : Course | b.name-215 (a, b) E Takes 4. a : Student | a.narne = Andrea b : Course ! b.name = 215 (a, b) E Takes 5, {a : Student b : Course | b.name 315 . (a, b) E Takes} 6. [a Course |3b: Student b.name- Hans . (b, a) E Takes)