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