We define a set of binary variables, whose assignment will univocally define the classification of all comments in the thread.
we define a pair of variables for each answer: x iG and x iB , 1 ≤ i ≤ n. Assigning 1 to x iG means that comment c i in the thread is classified as Good; assigning it 0 means that c i is not classified as Good.