Translate the following inference to logic notation: For all x, if x_10 were a musician, then x_10 is listening to a song. Karen is a musician or Jennifer is not a taxi driver. Therefore if Jennifer were a taxi driver, then Karen is listening to a song.
forall x: P(x) -> Q(x). P(a) or ~p. Therefore p -> Q(a).