Translate the following inference to logic notation: For all x, x is fast. John is a sailor and Linda is listening to a song. Therefore John is a sailor and Michael is fast.
forall x: P(x). p and q. Therefore p and P(a).