tokens: Because S is a candidate solution ; given that there are no other S in which S can be proven to be greedy or less optimal than any other S . It must be that S is at current the MOST optimal solution for the problem .
ner_tags: O B-Variable O O O O O O O O O O O B-Variable O O B-Variable O O O O O O O O O O O O B-Variable O O O O O B-Variable O O O O O O O O O O O