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