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