LEARN: Linear Inequalities