richardr1126/spider-skeleton-context-instruct huggingface dataset:
### Instruction:

Convert text to sql: How many available hotels are there in total? | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select count ( _ ) from _ | select count ( * ) from hotels
### Instruction:

Convert text to sql: Find the total number of available hotels. | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select count ( _ ) from _ | select count ( * ) from hotels
### Instruction:

Convert text to sql: What are the price ranges of hotels? | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select _ from _ | select price_range from hotels
### Instruction:

Convert text to sql: Tell me the price ranges for all the hotels. | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select _ from _ | select price_range from hotels
### Instruction:

Convert text to sql: Show all distinct location names. | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select distinct _ from _ | select distinct location_name from locations
### Instruction:

Convert text to sql: What are the distinct location names? | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select distinct _ from _ | select distinct location_name from locations
### Instruction:

Convert text to sql: Show the names and details of all the staff members. | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select _ from _ | select name , other_details from staff
### Instruction:

Convert text to sql: What is the name and detail of each staff member? | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select _ from _ | select name , other_details from staff
### Instruction:

Convert text to sql: Show details of all visitors. | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select _ from _ | select tourist_details from visitors
### Instruction:

Convert text to sql: What is the detail of each visitor? | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select _ from _ | select tourist_details from visitors
### Instruction:

Convert text to sql: Show the price ranges of hotels with 5 star ratings. | ref_hotel_star_ratings : star_rating_code , star_rating_description | locations : location_id , location_name , address , other_details | ref_attraction_types : attraction_type_code , attraction_type_description | visitors : tourist_id , tourist_details | features : feature_id , feature_details | hotels : hotel_id , star_rating_code , pets_allowed_yn , price_range , other_hotel_details | tourist_attractions : tourist_attraction_id , attraction_type_code , location_id , how_to_get_there , name , description , opening_hours , other_details | street_markets : market_id , market_details | shops : shop_id , shop_details | museums : museum_id , museum_details | royal_family : royal_family_id , royal_family_details | theme_parks : theme_park_id , theme_park_details | visits : visit_id , tourist_attraction_id , tourist_id , visit_date , visit_details | photos : photo_id , tourist_attraction_id , name , description , filename , other_details | staff : staff_id , tourist_attraction_id , name , other_details | tourist_attraction_features : tourist_attraction_id , feature_id | hotels.star_rating_code = ref_hotel_star_ratings.star_rating_code | tourist_attractions.attraction_type_code = ref_attraction_types.attraction_type_code | tourist_attractions.location_id = locations.location_id | street_markets.market_id = tourist_attractions.tourist_attraction_id | shops.shop_id = tourist_attractions.tourist_attraction_id | museums.museum_id = tourist_attractions.tourist_attraction_id | royal_family.royal_family_id = tourist_attractions.tourist_attraction_id | theme_parks.theme_park_id = tourist_attractions.tourist_attraction_id | visits.tourist_id = visitors.tourist_id | visits.tourist_attraction_id = tourist_attractions.tourist_attraction_id | photos.tourist_attraction_id = tourist_attractions.tourist_attraction_id | staff.tourist_attraction_id = tourist_attractions.tourist_attraction_id | tourist_attraction_features.feature_id = features.feature_id | tourist_attraction_features.tourist_attraction_id = tourist_attractions.tourist_attraction_id | 

### Response:

select _ from _ where _ | select price_range from hotels where star_rating_code = '5'