Using the following predicates, restate the following English sentences about students taking courses in first order logic. S(x) ="c is a student." C(y) ="y is a class." E (x, y) = "Student x is enrolled in class y." There are two students in the same class. There is a class with no students enrolled. Every student is taking at least one class