Translate the following inference to logic notation: For all x, x_3 is a soldier or x_3 is a nurse. Jessica is not a soldier. Therefore Jessica is a nurse.
forall x: P(x) or Q(x). ~P(a). Therefore Q(a).