The Symbolic Dimension of Inequalities