Translate the following inference to logic notation: If James were fast, then Karen is playing tennis. If William were a cashier, then James is fast. For all x, if x_10 plays tennis, then x_10 is an office clerk. Therefore if William were a cashier, then Karen is an office clerk.
p -> P(a). q -> p. forall x: P(x) -> Q(x). Therefore q -> Q(a).