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