Translate the following inference to logic notation: For all x, z is not a sailor. Sarah is a sailor if and only if John is a server. Therefore John is not a server.
forall x: ~P(x). P(a) <-> p. Therefore ~p.