WolframAlpha computational knowledge AI
(A union B) intersect C