Translate the following inference to logic notation: If James listens to a song, then Barbara is a writer. If it is late, then Barbara is a writer. Robert is a bartender or it is late. James is listening to a song or Robert is not a bartender. Therefore Barbara is a writer.
p -> q. r -> q. s or r. p or ~s. Therefore q.