Translate the following inference to logic notation: Joseph is listening to a song. For all x, x is curious. Therefore there is at least one x for which x is curious and x will listen to a song.
P(a). forall x: Q(x). Therefore exists x: Q(x) and P(x).