and(or(some(r, v), u), not(or(some(r, v), u))