Translate the following inference to logic notation: For all x, z is curious. Karen is not curious or Charles is a lawyer. Therefore Karen is an artist or Charles is a lawyer.
forall x: P(x). ~P(a) or p. Therefore Q(a) or p.