Translate the following inference to logic notation: If John were a musician, then David is running. John is a lawyer if and only if David is running. For all x, x_9 is a musician. Therefore David is running.
P(a) -> p. Q(a) <-> p. forall x: P(x). Therefore p.