Translate the following inference to logic notation: Mary is an artist. If William listens to a song, then Linda is happy. For all x, if x_14 plays a game, then x_14 is happy. William is listening to a song or Linda is playing a game. Therefore Mary is an artist and Linda is happy.
p. q -> P(a). forall x: Q(x) -> P(x). q or Q(a). Therefore p and P(a).