a. Every teacher is liked by some student 1. Vx[teacher(x) 3y[student(y) like(y,x)] 2. Vx[teacher(x) 3y[student(y) 1 likes(y,x)] 3. JyVx[teacher(x) [student(y) 1 likes(y,x] b. Some boys in the class are taller than all the girls 1. 3x[boy(x( Vy[girl(y) 1 taller(x.y)]] 2. x[boy(x) 1 Vy[girl(y) A taller(x, y)]] 3. 3x[bou(x) Vy[girl(y) taller(x, y)]] 4. 3x[boy(x) ^ Vy[girl(y) taller(x, y]]