Translate the following inference to logic notation: If Barbara goes running, then James is poor. For all x, x_14 is an office clerk if and only if x_14 is poor. If Karen were a poet, then Barbara is running. Therefore if Karen were a poet, then James is an office clerk.
p -> P(a). forall x: Q(x) <-> P(x). q -> p. Therefore q -> Q(a).