Translate the following inference to logic notation: If Robert takes a plane, then Jessica is a writer. For all x, x is a lawyer if and only if x will take a plane. Therefore if Robert were a lawyer, then Jessica is a writer.
P(a) -> p. forall x: Q(x) <-> P(x). Therefore Q(a) -> p.