 Here “s” picks out the kind student, and the sentence is true iff there are some realizations of the kind that are engaged in smoking. (Recall that the realizations of the kind student include both the particular individual students and the temporal stages of those individual students.) Thus we obtain the existential reading of the bare plural in virtue of the lexical representation of stage level predicates.