Translate the following inference to logic notation: Linda is bored and it is raining. For all x, x is an office clerk. Therefore Linda is bored and Jennifer is an office clerk.
p and q. forall x: P(x). Therefore p and P(a).