Translate the following inference to logic notation: If Richard were a server, then Jennifer is a poet. For all x, x_15 is a sailor if and only if x_15 is a server. If Jennifer were a poet, then Richard is a sailor. Therefore if Jennifer were a poet, then Richard is a server.
P(a) -> p. forall x: Q(x) <-> P(x). p -> Q(a). Therefore p -> P(a).