LEARN: Addition Property of Inequalities