la_generic unclear
It is not clear how the operator ⋈ of the sum of all inequalities after they are processed should be chosen. It says that:
Is the diamond the one he operator ⋈ is ≈ if all operators are ≈, > if all are either ≈ or >, and ≥ otherwise.
The 𝑎𝑖 must be such that the sum on the left-hand side is 0 and the right-hand side is
> 0 (or ≥ 0 if ⋈ is >).But it is not clear if this refers to the original ⋈ of the operators or the one after processing.