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