Translate the following inference to logic notation: For all x, z is a police officer. If Richard were a musician, then Susan is not a police officer. Richard is a musician or it is late. Therefore it is late.
forall x: P(x). p -> ~P(a). p or q. Therefore q.