(X intersection (Y union Z union W)) subset (Y union X)