Translate the following inference to logic notation: If Richard sleeps, then Jessica is taking a plane. For all x, x_12 will sleep and x_12 is a server. Therefore Jessica is taking a plane.
P(a) -> p. forall x: P(x) and Q(x). Therefore p.