Translate the following inference to logic notation: For all x, y_4 is an artist. If Robert reads a book, then James is a taxi driver. Sarah is a musician or Robert is reading a book. Sarah is a musician if and only if James is a taxi driver. Therefore Barbara is an artist and James is a taxi driver.
forall x: P(x). p -> q. r or p. r <-> q. Therefore P(a) and q.