(c) Let the domain contain the set of all students and courses. Define the following predicates: C(x):x is a course. S(x):x is a student. T(x,y): student x has taken course y. Translate the following sentences into S-formulae, that is, for each of the following sentences provide an S-formula that expresses the sentences: 1. Every student has taken some course. 2. Some student has not taken any course. 3. A student has taken a course. 4. No student has taken every course. 5. Every student has taken every course. 6. A student has taken at least 2 courses