and(not(and(not(w), all(r, and(some(r, some(r, u)), not(all(r, w)))))), not(not(and(not(w), all(r, and(some(r, some(r, u)), not(all(r, w))))))))