Translate the following inference to logic notation: If Elisabeth were a scientist, then Richard is a musician. Elisabeth is a scientist. For all x, x_9 will write a letter. Therefore Jennifer is writing a letter and Richard is a musician.
p -> q. p. forall x: P(x). Therefore P(a) and q.