and(or(and(and(u, w), all(r, v)), v), not(or(and(and(u, w), all(r, v)), v))