tokens: As an initial valuation I choose d1 , .. . , dN = false , but as a score I give a function that returns 2N - 1 if the first N clauses are all false , otherwise it returns the number of satisfied clauses .
ner_tags: O O O O O O B-Code_Block I-Code_Block I-Code_Block I-Code_Block I-Code_Block I-Code_Block I-Code_Block I-Code_Block O O O O O O O O O O O B-Code_Block I-Code_Block I-Code_Block O O O B-Variable O O O O O O O O O O O O O O