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: How many mountains are there in Indonesia?
Evidence: Indonesia refers to one of countries
SQL: SELECT COUNT(DISTINCT T2.Mountain) FROM country AS T1 INNER JOIN geo_mountain AS T2 ON T1.Code = T2.Country WHERE T1.Name = 'Indonesia'
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 quantity of the mountains does Japan have?
Evidence: Japan is one of country names
SQL: SELECT COUNT(DISTINCT T2.Mountain) FROM country AS T1 INNER JOIN geo_mountain AS T2 ON T1.Code = T2.Country WHERE T1.Name = 'Japan'
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 latitude of the island on which Mount Andrinjitra is located?
SQL: SELECT T1.Latitude FROM island AS T1 INNER JOIN mountainOnIsland AS T2 ON T1.Name = T2.Island WHERE T2.Mountain = 'Andringitra'
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 two countries share the second highest mountain? Give the country code.
SQL: SELECT T1.Code FROM country AS T1 INNER JOIN geo_mountain AS T2 ON T1.Code = T2.Country WHERE T2.Mountain = ( SELECT Name FROM mountain ORDER BY Height DESC LIMIT 1, 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 area of Egypt as a percentage of Asia?
SQL: SELECT T2.Percentage FROM country AS T1 INNER JOIN encompasses AS T2 ON T1.Code = T2.Country INNER JOIN continent AS T3 ON T3.Name = T2.Continent WHERE T3.Name = 'Asia' AND T1.Name = 'Egypt'
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 area of Egypt as a percentage of Asia?
SQL: SELECT T1.Area * 100 / T3.Area FROM country AS T1 INNER JOIN encompasses AS T2 ON T1.Code = T2.Country INNER JOIN continent AS T3 ON T3.Name = T2.Continent WHERE T3.Name = 'Asia' AND T1.Name = 'Egypt'
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 city in Japan has the most people in the country?
Evidence: most people refers to largest population
SQL: SELECT T2.Name FROM country AS T1 INNER JOIN city AS T2 ON T1.Code = T2.Country WHERE T1.Name = 'Japan' ORDER BY T2.Population 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: For the country in which Olsztyn is located, where is the capital?
Evidence: Olsztyn is one of country names
SQL: SELECT T1.Capital FROM country AS T1 INNER JOIN city AS T2 ON T1.Code = T2.Country WHERE T2.Name = 'Olsztyn'
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 the highest volcano mountain located in?
SQL: SELECT T1.Province FROM country AS T1 INNER JOIN geo_mountain AS T2 ON T1.Code = T2.Country INNER JOIN mountain AS T3 ON T3.Name = T2.Mountain WHERE T3.Type = 'volcano' ORDER BY T3.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: When did Uganda declare independence?
Evidence: Uganda is one of country names
SQL: SELECT T2.Independence FROM country AS T1 INNER JOIN politics AS T2 ON T1.Code = T2.Country WHERE T1.Name = 'Uganda'