Because β l is associated with a negative weight in the objective function, the ILP solver will then assign '0' to β l to maximize the objective function.
we encourage the ILP solver to modify the original lexicon for the given expression e l .