Translate the following inference to logic notation: For all x, z will cook. Mary is listening to a song and Charles is writing a letter. Therefore Mary is listening to a song and James is cooking.
forall x: P(x). p and q. Therefore p and P(a).