Translate the following inference to logic notation: Richard is an office clerk if and only if Sarah is a poet. Joseph is a cashier. For all x, x_16 is not a poet. Therefore Richard is not an office clerk.
p <-> P(a). q. forall x: ~P(x). Therefore ~p.