Translate the following inference to logic notation: David is a politician or Jessica is sleeping. If David were a politician, then Jessica is a police officer. It is windy. For all x, if x_14 sleeps, then x_14 is a police officer. Therefore it is windy and Jessica is a police officer.
p or P(a). p -> Q(a). q. forall x: P(x) -> Q(x). Therefore q and Q(a).