Linear Inequality (with MML demo)