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: What kind of political system is in place in the country with the highest inflation rate?
Evidence: Political system refers to government form
SQL: SELECT T1.Government FROM politics AS T1 INNER JOIN economy AS T2 ON T1.Country = T2.Country ORDER BY T2.Inflation DESC LIMIT 1
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 nation has the greatest infant mortality rate among those that attained independence in 1960?
SQL: SELECT T1.Country FROM politics AS T1 INNER JOIN population AS T2 ON T1.Country = T2.Country WHERE STRFTIME('%Y', T1.Independence) = '1960' ORDER BY T2.Infant_Mortality DESC LIMIT 1
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 smallest border's length, and what form of government do the two nations bordering it have?
SQL: SELECT T1.Government, T3.Government FROM politics AS T1 INNER JOIN borders AS T2 ON T1.Country = T2.Country1 INNER JOIN politics AS T3 ON T3.Country = T2.Country2 ORDER BY T2.Length ASC LIMIT 1
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 Arabic-speaking country has the smallest population?
Evidence: Arabic-speaking country = country that speaks 100% Arabic
SQL: SELECT T1.Name FROM country AS T1 INNER JOIN language AS T2 ON T1.Code = T2.Country WHERE T2.Name = 'Arabic' AND T2.Percentage = 100 ORDER BY T1.Population ASC LIMIT 1
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 provinces encompass the world's biggest desert in terms of overall area?
SQL: SELECT Province FROM geo_desert WHERE Desert = ( SELECT Name FROM desert ORDER BY Area DESC LIMIT 1 )
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: How many lakes are there in the 4th most populous African country with a republican form of government?
SQL: SELECT COUNT(*) FROM geo_lake WHERE Country = ( SELECT T4.Code FROM ( SELECT T2.Code, T2.Population FROM encompasses AS T1 INNER JOIN country AS T2 ON T1.Country = T2.Code INNER JOIN politics AS T3 ON T1.Country = T3.Country WHERE T1.Continent = 'Africa' AND T1.Percentage = 100 AND T3.Government = 'republic' ORDER BY Population DESC LIMIT 4 ) AS T4 ORDER BY population ASC LIMIT 1 )
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 religion is most prevalent in Asia?
Evidence: Most prevalent religion refers to the religion with the most population percentage
SQL: SELECT T4.Name FROM continent AS T1 INNER JOIN encompasses AS T2 ON T1.Name = T2.Continent INNER JOIN country AS T3 ON T3.Code = T2.Country INNER JOIN religion AS T4 ON T4.Country = T3.Code WHERE T1.Name = 'Asia' GROUP BY T4.Name ORDER BY SUM(T4.Percentage) DESC LIMIT 1
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 difference in population between the two nations where the tallest peak is located?
SQL: SELECT * FROM mountain AS T1 INNER JOIN geo_mountain AS T2 ON T1.Name = T2.Mountain INNER JOIN province AS T3 ON T3.Country = T2.Country INNER JOIN country AS T4 ON T4.Code = T3.Country WHERE T1.Name = ( SELECT Name FROM mountain ORDER BY Height DESC LIMIT 1 )
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 are the names of the sea that can be found on the island with the biggest area?
SQL: SELECT T2.Name FROM islandIn AS T1 INNER JOIN sea AS T2 ON T2.Name = T1.Sea WHERE T1.Island = ( SELECT Name FROM island ORDER BY Area DESC LIMIT 1 )