1sf/bird-sql-train-with-schema huggingface dataset:
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: List all islands that are greater than the island on which Warwickshire is located.
Evidence: Warwickshire is a province
SQL: SELECT DISTINCT Name FROM island WHERE Area > ( SELECT DISTINCT T3.Area FROM city AS T1 INNER JOIN locatedOn AS T2 ON T1.Name = T2.City INNER JOIN island AS T3 ON T3.Name = T2.Island WHERE T1.Province = 'Warwickshire' )
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: For island area less than 200, list the island name and city it belongs to.
SQL: SELECT DISTINCT T3.Name, T1.Name FROM city AS T1 INNER JOIN locatedOn AS T2 ON T1.Name = T2.City INNER JOIN island AS T3 ON T3.Name = T2.Island WHERE T3.Area < 200
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: In which province is city Glenrothes located? What is the capital of the province?
SQL: SELECT T2.Province, T1.Capital FROM province AS T1 INNER JOIN city AS T2 ON T1.Name = T2.Province AND T1.Country = T2.Country WHERE T2.Name = 'Glenrothes'
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: List the all the cities and its city population for provinces with population more than 1000000.
SQL: SELECT T1.Name, T1.Population FROM city AS T1 INNER JOIN province AS T2 ON T2.Name = T1.Province WHERE T2.Population > 1000000
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: List all the coral islands along with its city and province.
Evidence: Baltic Sea is a sea located in Northern Europe
SQL: SELECT City, Province FROM locatedOn WHERE Island IN ( SELECT Name FROM island WHERE Type = 'coral' )
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: What is the average population for all cities location at Baltic Sea?
Evidence: Baltic Sea is a sea located in Northern Europe
SQL: SELECT AVG(T1.Population) FROM city AS T1 INNER JOIN located AS T2 ON T1.Name = T2.City INNER JOIN sea AS T3 ON T3.Name = T2.Sea WHERE T3.Name = 'Baltic Sea'
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: Calculate the percentage of population in Edmonton city to the population of its province.
Evidence: Percentage of population in each city = population(city) / population(province) * 100%
SQL: SELECT CAST(T1.Population AS REAL) * 100 / T2.Population FROM city AS T1 INNER JOIN province AS T2 ON T1.Province = T2.Name WHERE T1.Name = 'Edmonton'
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: Which are the rivers that flows to Black Sea?
Evidence: Black Sea is a sea located in Eastern Europe and Western Asia
SQL: SELECT Name FROM river WHERE Sea = 'Black Sea'
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: State the name of the lake in Albania province and in which city does it located at.
SQL: SELECT Lake, City FROM located WHERE Province = 'Albania' AND Lake IS NOT NULL
Database: mondial_geo
Tables: borders, city, continent, country, desert, economy, encompasses, ethnicGroup, geo_desert, geo_estuary, geo_island, geo_lake, geo_mountain, geo_river, geo_sea, geo_source, island, islandIn, isMember, lake, language, located, locatedOn, mergesWith, mountain, mountainOnIsland, organization, politics, population, province, religion, river, sea, target
Columns (table index, column name): -1, *, 0, Country1, 0, Country2, 0, Length, 1, Name, 1, Country, 1, Province, 1, Population, 1, Longitude, 1, Latitude, 2, Name, 2, Area, 3, Name, 3, Code, 3, Capital, 3, Province, 3, Area, 3, Population, 4, Name, 4, Area, 4, Longitude, 4, Latitude, 5, Country, 5, GDP, 5, Agriculture, 5, Service, 5, Industry, 5, Inflation, 6, Country, 6, Continent, 6, Percentage, 7, Country, 7, Name, 7, Percentage, 8, Desert, 8, Country, 8, Province, 9, River, 9, Country, 9, Province, 10, Island, 10, Country, 10, Province, 11, Lake, 11, Country, 11, Province, 12, Mountain, 12, Country, 12, Province, 13, River, 13, Country, 13, Province, 14, Sea, 14, Country, 14, Province, 15, River, 15, Country, 15, Province, 16, Name, 16, Islands, 16, Area, 16, Height, 16, Type, 16, Longitude, 16, Latitude, 17, Island, 17, Sea, 17, Lake, 17, River, 18, Country, 18, Organization, 18, Type, 19, Name, 19, Area, 19, Depth, 19, Altitude, 19, Type, 19, River, 19, Longitude, 19, Latitude, 20, Country, 20, Name, 20, Percentage, 21, City, 21, Province, 21, Country, 21, River, 21, Lake, 21, Sea, 22, City, 22, Province, 22, Country, 22, Island, 23, Sea1, 23, Sea2, 24, Name, 24, Mountains, 24, Height, 24, Type, 24, Longitude, 24, Latitude, 25, Mountain, 25, Island, 26, Abbreviation, 26, Name, 26, City, 26, Country, 26, Province, 26, Established, 27, Country, 27, Independence, 27, Dependent, 27, Government, 28, Country, 28, Population_Growth, 28, Infant_Mortality, 29, Name, 29, Country, 29, Population, 29, Area, 29, Capital, 29, CapProv, 30, Country, 30, Name, 30, Percentage, 31, Name, 31, River, 31, Lake, 31, Sea, 31, Length, 31, SourceLongitude, 31, SourceLatitude, 31, Mountains, 31, SourceAltitude, 31, EstuaryLongitude, 31, EstuaryLatitude, 32, Name, 32, Depth, 33, Country, 33, Target
Question: Name the tallest mountain on Himalaya and what is its height.
Evidence: Tallest refers to max(height)
SQL: SELECT Name, Height FROM mountain WHERE Mountains = 'Himalaya' ORDER BY Height DESC LIMIT 1