Translate the following inference to logic notation: If James were a police officer, then Patricia is listening to a song. James is a police officer and it is snowing. Therefore Patricia is listening to a song.
p -> q. p and r. Therefore q.