Sentence:  Those many, then, shall die: their names are <WSD>pricked</WSD>. 
Meaning of the word marked with <WSD> tags:  To mark or denote by a puncture; to designate by pricking; to choose; to mark.