Translate the following inference to logic notation: Charles is playing a game. For all x, x_9 will make tea. Therefore Charles is playing a game and Jennifer is making tea.
p. forall x: P(x). Therefore p and P(a).