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