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