Translate the following inference to logic notation: James is not a server or Michael is taking a plane. If Jessica writes a letter, then Robert is bored. James is a server or Jessica is writing a letter. For all x, z_4 is not bored. Therefore Michael is taking a plane.
~p or q. r -> P(a). p or r. forall x: ~P(x). Therefore q.