Translate the following inference to logic notation: For all x, x_14 is a police officer. Elisabeth is a nurse if and only if Joseph is a police officer. Therefore Elisabeth is a nurse.
forall x: P(x). p <-> P(a). Therefore p.