Translate the following inference to logic notation: For all x, z will work. Richard is a scientist. Therefore there is at least one x for which z will work and z is a scientist.
forall x: P(x). Q(a). Therefore exists x: P(x) and Q(x).