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