Translate the following inference to logic notation: For all x, x is a sailor and x is a musician. If it is overcast, then Richard is taking a plane. It is overcast. Therefore Richard is taking a plane and Robert is a sailor.
forall x: P(x) and Q(x). p -> q. p. Therefore q and P(a).