fix Inequality parsing