and(or(w, some(r, v)), not(or(w, some(r, v)))