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