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