Translate the following inference to logic notation: James is a janitor. Sarah is a doctor. If James were a janitor, then Charles is an astronaut. Therefore Charles is an astronaut or James is a scientist.
p. q. p -> r. Therefore r or s.