Some students from a large class will be lined up left to right. There will be at least two stduents in the line. Translate each of the following assertions into predicate formulas with the set of students in the class as the domain of discourse.

The only predicates you may use are *equality and, * F (x, y) meaning that x is somewhere to the left of y in the line. For example, in the line CDA, both F(C,A) and F (C,D) are true Once you have defined a formula for a predicate P you may use the abbreviation P in further formulas.

(a) Student x is in the line.

(b) Student x is first in line.

(c) Student x is immediately to the right of student y.

(d) Student x is second