Translate the following inference to logic notation: If James were a politician, then Jessica is not poor. For all x, x is poor. Therefore James is not a politician or it is sunny.
p -> ~P(a). forall x: P(x). Therefore ~p or q.