Translate the following inference to logic notation: James is running. For all x, if z goes running, then z is playing a game. Therefore James is playing a game or Jessica is climbing a mountain.
P(a). forall x: P(x) -> Q(x). Therefore Q(a) or p.