| Inequality(Sca, Term) | Invalid operation; throws an exception. |
| Inequality(Term, Sca) | Invalid operation; throws an exception. |
| Inequality(Term, Term) | Invalid operation; throws an exception. |
| Inequality(Term, Var) | Invalid operation; throws an exception. |
| Inequality(Term, VarD0) | Invalid operation; throws an exception. |
| Inequality(Var, Term) | Invalid operation; throws an exception. |
| Inequality(VarD0, Term) | Invalid operation; throws an exception. |