Translate the following inference to logic notation: For all x, if x_14 were a sailor, then x_14 is an astronaut. Joseph is a sailor. Therefore Joseph is an astronaut or Charles is sad.
forall x: P(x) -> Q(x). P(a). Therefore Q(a) or p.