Task: Text to Code
Input (English): What are the ids of stations that have latitude above 37.4 and never had bike availability below 7?
Output (English): SELECT id FROM station WHERE lat  >  37.4 EXCEPT SELECT station_id FROM status GROUP BY station_id HAVING min(bikes_available)  <  7