Input interpretation
abs(x) | inequality
Result
abs(x)<=abs(z) - abs(x + z)