Translate the following inference to logic notation: It is windy if and only if Elisabeth is drinking water. For all x, z is poor. It is windy. Therefore Elisabeth is drinking water and James is poor.
p <-> q. forall x: P(x). p. Therefore q and P(a).