and(or(w, and(all(r, u), or(v, v))), not(or(w, and(all(r, u), or(v, v)))))