Translate the following inference to logic notation: James is an astronaut. It is snowing or James is not an astronaut. If it snows, then it is late. Therefore it is late.
p. q or ~p. q -> r. Therefore r.