WolframAlpha computational knowledge AI
abcd> abc+abd+acd+bcd, d>c>b>a