Translate the following inference to logic notation: James is playing squash if and only if it is sunny. For all x, x_9 is a bartender. If James were a bartender, then it is sunny. Therefore it is sunny.
P(a) <-> p. forall x: Q(x). Q(a) -> p. Therefore p.