Translate the following inference to logic notation: If Charles listens to a song, then it is late. For all x, if x_10 drinks water, then x_10 is listening to a song. Charles is drinking water. Therefore it is late.
P(a) -> p. forall x: Q(x) -> P(x). Q(a). Therefore p.