Translate the following inference to logic notation: If Mary reads a book, then it is late. Michael is a scientist or Mary is reading a book. For all x, x_18 is a police officer. Michael is a scientist if and only if it is late. Therefore Susan is a police officer and it is late.
p -> q. r or p. forall x: P(x). r <-> q. Therefore P(a) and q.