1sf/bird-sql-train-with-schema huggingface dataset:
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What is the name of the CBSA of the city with the highest average house value?
Evidence: the highest average house value refers to avg_house_value;
SQL: SELECT DISTINCT T1.CBSA_name FROM CBSA AS T1 INNER JOIN zip_data AS T2 ON T1.CBSA = T2.CBSA WHERE T2.avg_house_value = ( SELECT MAX(avg_house_value) FROM zip_data ) LIMIT 1
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What are the bad aliases of the postal points from East Setauket?
Evidence: East Setauket is the city;
SQL: SELECT T1.bad_alias FROM avoid AS T1 INNER JOIN zip_data AS T2 ON T1.zip_code = T2.zip_code WHERE T2.city = 'East Setauket'
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What was the population of Wilcox County in 2010?
Evidence: population of Wilcox County in 2010 refers to SUM(population_2010) where county = 'WILCOX';
SQL: SELECT SUM(T2.population_2010) FROM country AS T1 INNER JOIN zip_data AS T2 ON T1.zip_code = T2.zip_code WHERE T1.county = 'WILCOX'
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What is the code of the area with the largest Asian population?
Evidence: the code of the area refers to area_code; area with the largest Asian population refers to MAX(asian_population);
SQL: SELECT T1.zip_code FROM area_code AS T1 INNER JOIN zip_data AS T2 ON T1.zip_code = T2.zip_code GROUP BY T2.asian_population ORDER BY T2.asian_population DESC LIMIT 1
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: List all the cities with micro CBSA.
Evidence: micro CBSA refers to CBSA_type = 'Micro';
SQL: SELECT T2.city FROM CBSA AS T1 INNER JOIN zip_data AS T2 ON T1.CBSA = T2.CBSA WHERE T1.CBSA_type = 'Micro'
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What is the name of the state with the most counties?
Evidence: the most counties refer to MAX(COUNT(county));
SQL: SELECT T1.name FROM state AS T1 INNER JOIN country AS T2 ON T1.abbreviation = T2.state GROUP BY T2.state ORDER BY COUNT(T2.county) DESC LIMIT 1
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What is the number of households in the "FL-10" district?
SQL: SELECT SUM(CASE WHEN T2.district = 'FL-10' THEN 1 ELSE 0 END) FROM zip_data AS T1 INNER JOIN zip_congress AS T2 ON T1.zip_code = T2.zip_code
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What is the average household income in the city known as "Danzig"?
Evidence: average household income refers to avg_income_per_household; city known as "Danzig" refers to bad_alias = 'Danzig';
SQL: SELECT T2.avg_income_per_household FROM avoid AS T1 INNER JOIN zip_data AS T2 ON T1.zip_code = T2.zip_code WHERE T1.bad_alias = 'Danzig'
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What are the states with an above-average female population?
Evidence: above-average female population refers to female_population > DIVIDE(SUM(female_population), COUNT(state));
SQL: SELECT DISTINCT T2.state FROM state AS T1 INNER JOIN zip_data AS T2 ON T1.abbreviation = T2.state WHERE T2.female_population > ( SELECT AVG(female_population) FROM zip_data )
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What percentage of households are in "Coroyell" out of its state?
Evidence: DIVIDE(SUM(households where county = 'CORYELL'), SUM(households)) as percentage;
SQL: SELECT CAST(SUM(CASE WHEN T1.county = 'CORYELL' THEN T2.households ELSE 0 END) AS REAL) * 100 / SUM(T2.households) FROM country AS T1 INNER JOIN zip_data AS T2 ON T1.zip_code = T2.zip_code
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: What is the name and the position of the CBSA officer in the city of Cabo Rojo?
Evidence: name of the CBSA officer refers to CBSA_name; position of the CBSA officer refers to CBSA_type;
SQL: SELECT T1.CBSA_name, T1.CBSA_type FROM CBSA AS T1 INNER JOIN zip_data AS T2 ON T1.CBSA = T2.CBSA WHERE T2.city = 'Cabo Rojo' GROUP BY T1.CBSA_name, T1.CBSA_type
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: Indicate the country name of the city Las Marias.
SQL: SELECT T1.county FROM country AS T1 INNER JOIN zip_data AS T2 ON T1.zip_code = T2.zip_code WHERE T2.city = 'Las Marias'
Database: address
Tables: CBSA, state, congress, zip_data, alias, area_code, avoid, country, zip_congress
Columns (table index, column name): -1, *, 0, CBSA, 0, CBSA_name, 0, CBSA_type, 1, abbreviation, 1, name, 2, cognress_rep_id, 2, first_name, 2, last_name, 2, CID, 2, party, 2, state, 2, abbreviation, 2, House, 2, District, 2, land_area, 3, zip_code, 3, city, 3, state, 3, multi_county, 3, type, 3, organization, 3, time_zone, 3, daylight_savings, 3, latitude, 3, longitude, 3, elevation, 3, state_fips, 3, county_fips, 3, region, 3, division, 3, population_2020, 3, population_2010, 3, households, 3, avg_house_value, 3, avg_income_per_household, 3, persons_per_household, 3, white_population, 3, black_population, 3, hispanic_population, 3, asian_population, 3, american_indian_population, 3, hawaiian_population, 3, other_population, 3, male_population, 3, female_population, 3, median_age, 3, male_median_age, 3, female_median_age, 3, residential_mailboxes, 3, business_mailboxes, 3, total_delivery_receptacles, 3, businesses, 3, 1st_quarter_payroll, 3, annual_payroll, 3, employees, 3, water_area, 3, land_area, 3, single_family_delivery_units, 3, multi_family_delivery_units, 3, total_beneficiaries, 3, retired_workers, 3, disabled_workers, 3, parents_and_widowed, 3, spouses, 3, children, 3, over_65, 3, monthly_benefits_all, 3, monthly_benefits_retired_workers, 3, monthly_benefits_widowed, 3, CBSA, 4, zip_code, 4, alias, 5, zip_code, 5, area_code, 6, zip_code, 6, bad_alias, 7, zip_code, 7, county, 7, state, 8, zip_code, 8, district
Question: How many cities does congressman Pierluisi Pedro represent?
SQL: SELECT COUNT(DISTINCT T1.city) FROM zip_data AS T1 INNER JOIN zip_congress AS T2 ON T1.zip_code = T2.zip_code INNER JOIN congress AS T3 ON T2.district = T3.cognress_rep_id WHERE T3.first_name = 'Pierluisi' AND T3.last_name = 'Pedro'