Translate the following inference to logic notation: For all x, x_11 will sleep if and only if x_11 is a police officer. James is not a police officer. It is sunny. Therefore James is not sleeping and it is sunny.
forall x: P(x) <-> Q(x). ~Q(a). p. Therefore ~P(a) and p.