WolframAlpha computational knowledge AI
is (X intersect Y) a subset of Y?