Translate the following inference to logic notation: Patricia is a poet and Mary is sleeping. For all x, x_23 is not a police officer. If Barbara were a cashier, then Karen is a police officer. Therefore Patricia is a poet and Barbara is not a cashier.
p and q. forall x: ~P(x). r -> P(a). Therefore p and ~r.