I have a set of inequalities :
(as, ws, al, ch are constant names of two letters)
3*as > ws
17*as > al
3*al > ch
. . .
How do I ask for new relations that can be deduced from this set, for a given constant ?
Also: WolframAlpha is confusing "al" constant name with some USA state I think. That's quite USA-centric, anyway I'd like to make it clear that it's all mathematic, nothing to look up anywhere.