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