Translate the following inference to logic notation: If James reads a book, then Sarah is not playing a game. Sarah is a taxi driver. For all x, if x_14 were a taxi driver, then x_14 is playing a game. Therefore James is not reading a book.
p -> ~P(a). Q(a). forall x: Q(x) -> P(x). Therefore ~p.