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