WolframAlpha computational knowledge AI
(complement S) intersect (A union B)