Translate the following inference to logic notation: Jessica is driving a car. For all x, if x_17 drives a car, then x_17 is running. If James were a cashier, then Jessica is driving a car. If Jessica goes running, then James is a cashier. Therefore Jessica is running.
P(a). forall x: P(x) -> Q(x). p -> P(a). Q(a) -> p. Therefore Q(a).