Translate the following inference to logic notation: For all x, if x_10 were a musician, then x_10 is taking a plane. If James were a musician, then Barbara is a writer. For all x, if x_10 takes a plane, then x_10 is a musician. Therefore if James takes a plane, then Barbara is a writer.
forall x: P(x) -> Q(x). P(a) -> p. forall x: Q(x) -> P(x). Therefore Q(a) -> p.