Translate the following inference to logic notation: For all x, x is not a musician. Michael is a musician or Robert is poor. Therefore Robert is poor or William is writing a letter.
forall x: ~P(x). P(a) or p. Therefore p or q.