Translate the following inference to logic notation: Susan is not a server. For all x, if x_14 takes a plane, then x_14 is a server. It is raining. Therefore it is raining and Susan is not taking a plane.
~P(a). forall x: Q(x) -> P(x). p. Therefore p and ~Q(a).