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