Consider the following premises. There is at least one z for which z is a bartender if and only if z is a writer. For all z, z is a bartender or z is not a writer. Can we infer the following from them? There is at least one z for which z is a bartender if and only if z is a writer.
That is one of the premises. Therefore, the answer is yes.