Translate the following inference to logic notation: If Elisabeth were a lawyer, then Mary is working. For all x, x_9 is a lawyer if and only if x_9 will play tennis. Therefore if Elisabeth plays tennis, then Mary is working.
P(a) -> p. forall x: P(x) <-> Q(x). Therefore Q(a) -> p.