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