Translate the following inference to logic notation: It is cloudy if and only if Karen is rich. For all x, x_14 is an astronaut if and only if x_14 is rich. Therefore if it is cloudy, then Karen is an astronaut.
p <-> P(a). forall x: Q(x) <-> P(x). Therefore p -> Q(a).