Consider the unary relational symbols P and L, and the binary relational symbol On, where P(a) and I(a) encode that a is apoint and a (sraight) line in the 2-dimensional space, respectively, while On(a,b) encodes that a is a point, b is a line, and o lies on b. Write first-order forrnulas over these relational symbols expressing the following (you can use the equality relation between lines/points):
(a) On every line, there lie at least two different points.
(b) Any two lines sharing at least two different points are identical.
(c) For any two different points, there exists exacfly one line on which they lie.