Translate the following inference to logic notation: It is late. If Karen were an office clerk, then Jennifer is a writer. For all x, y_3 is an office clerk. Therefore it is late and Jennifer is a writer.
p. P(a) -> q. forall x: P(x). Therefore p and q.