Translate the following inference to logic notation: If John sleeps, then it is windy. For all x, x_15 is a taxi driver if and only if x_15 will sleep. If it is windy, then John is a taxi driver. Therefore if it is windy, then John is sleeping.
P(a) -> p. forall x: Q(x) <-> P(x). p -> Q(a). Therefore p -> P(a).