Translate the following inference to logic notation: Richard is not playing a game or it is raining. For all x, x_3 will play a game or x_3 is a lawyer. Therefore Richard is a lawyer or it is raining.
~P(a) or p. forall x: P(x) or Q(x). Therefore Q(a) or p.