Add compound inequalities