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