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