Translate the following inference to logic notation: If Robert were a lawyer, then it is cold. For all x, x is a lawyer. Therefore it is cold or it is overcast.
P(a) -> p. forall x: P(x). Therefore p or q.