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