Sentence:  We can now prove <WSD>several</WSD> lemmas . 
Meaning of the word marked with <WSD> tags:  (used with count nouns) of an indefinite number more than 2 or 3 but not many