Find the neighbourhoods no supermarket serves

-- Residential buildings with no supermarket within 1 km
WITH supermarkets AS (
  SELECT geom FROM osm.shop_point
  WHERE  osm_type = 'shop' AND osm_subtype = 'supermarket'
    AND  geom && ST_MakeEnvelope(-9.28, 38.66, -9.05, 38.82, 4326)
  UNION ALL
  SELECT ST_Centroid(geom) FROM osm.shop_polygon
  WHERE  osm_type = 'shop' AND osm_subtype = 'supermarket'
    AND  geom && ST_MakeEnvelope(-9.28, 38.66, -9.05, 38.82, 4326)
)
SELECT b.osm_id, b.osm_subtype AS building, b.geom
FROM   osm.building_polygon AS b
WHERE  b.osm_type = 'building'
  AND  b.osm_subtype IN ('apartments', 'residential', 'house', 'semidetached_house', 'terrace', 'detached', 'dormitory')
  AND  b.geom && ST_MakeEnvelope(-9.25, 38.68, -9.08, 38.80, 4326)
  AND  NOT EXISTS (
         SELECT 1 FROM supermarkets AS s
         WHERE  s.geom && ST_Expand(b.geom, 0.013)
           AND  ST_DWithin(b.geom::geography, s.geom::geography, 1000)
       );