Consider the following premises. For all z, z is a server. There is at least one z for which z is poor. For all z, z will listen to a song or z is not poor. Can we infer the following from them? Some servers will listen to a song.
 From the fact that for all z, z will listen to a song or z is not poor we can infer that for all z, if z were poor, then z is listening to a song. From the fact that for all z, if z were poor, then z is listening to a song, and that there is at least one z for which z is poor we can infer that there is at least one z for which z will listen to a song. Finally, from the fact that for all z, z is a server, and that there is at least one z for which z will listen to a song we can infer that some servers will listen to a song. Therefore, the answer is yes.