Translate the following inference to logic notation: For all x, z will play tennis. If Charles plays tennis, then James is drinking water. John is an office clerk. Therefore James is drinking water.
forall x: P(x). P(a) -> p. q. Therefore p.