##Instruction:
Database: cre_Theme_park
Total Tables: 16
Total Columns: 52

Table Schemas:

cre_Theme_park contains tables such as Ref_Hotel_Star_Ratings, Locations, Ref_Attraction_Types, Visitors, Features, Hotels, Tourist_Attractions, Street_Markets, Shops, Museums, Royal_Family, Theme_Parks, Visits, Photos, Staff, Tourist_Attraction_Features.
Table Ref_Hotel_Star_Ratings has columns such as star_rating_code, star_rating_description.
star_rating_code is the primary key.
Table Locations has columns such as Location_ID, Location_Name, Address, Other_Details.
Location_ID is the primary key.
Table Ref_Attraction_Types has columns such as Attraction_Type_Code, Attraction_Type_Description.
Attraction_Type_Code is the primary key.
Table Visitors has columns such as Tourist_ID, Tourist_Details.
Tourist_ID is the primary key.
Table Features has columns such as Feature_ID, Feature_Details.
Feature_ID is the primary key.
Table Hotels has columns such as hotel_id, star_rating_code, pets_allowed_yn, price_range, other_hotel_details.
hotel_id is the primary key.
Table Tourist_Attractions has columns such as Tourist_Attraction_ID, Attraction_Type_Code, Location_ID, How_to_Get_There, Name, Description, Opening_Hours, Other_Details.
Tourist_Attraction_ID is the primary key.
Table Street_Markets has columns such as Market_ID, Market_Details.
Market_ID is the primary key.
Table Shops has columns such as Shop_ID, Shop_Details.
Shop_ID is the primary key.
Table Museums has columns such as Museum_ID, Museum_Details.
Museum_ID is the primary key.
Table Royal_Family has columns such as Royal_Family_ID, Royal_Family_Details.
Royal_Family_ID is the primary key.
Table Theme_Parks has columns such as Theme_Park_ID, Theme_Park_Details.
Theme_Park_ID is the primary key.
Table Visits has columns such as Visit_ID, Tourist_Attraction_ID, Tourist_ID, Visit_Date, Visit_Details.
Visit_ID is the primary key.
Table Photos has columns such as Photo_ID, Tourist_Attraction_ID, Name, Description, Filename, Other_Details.
Photo_ID is the primary key.
Table Staff has columns such as Staff_ID, Tourist_Attraction_ID, Name, Other_Details.
Staff_ID is the primary key.
Table Tourist_Attraction_Features has columns such as Tourist_Attraction_ID, Feature_ID.
Tourist_Attraction_ID is the primary key.
The star_rating_code of Hotels is the foreign key of star_rating_code of Ref_Hotel_Star_Ratings.
The Attraction_Type_Code of Tourist_Attractions is the foreign key of Attraction_Type_Code of Ref_Attraction_Types.
The Location_ID of Tourist_Attractions is the foreign key of Location_ID of Locations.
The Market_ID of Street_Markets is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Shop_ID of Shops is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Museum_ID of Museums is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Royal_Family_ID of Royal_Family is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Theme_Park_ID of Theme_Parks is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Tourist_ID of Visits is the foreign key of Tourist_ID of Visitors.
The Tourist_Attraction_ID of Visits is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Tourist_Attraction_ID of Photos is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Tourist_Attraction_ID of Staff is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.
The Feature_ID of Tourist_Attraction_Features is the foreign key of Feature_ID of Features.
The Tourist_Attraction_ID of Tourist_Attraction_Features is the foreign key of Tourist_Attraction_ID of Tourist_Attractions.

##Role Access Policy (Column-Level):
Role: DataOperator_2
Accessible Columns:
  - Features: * (all columns)
  - Hotels: * (all columns)
  - Locations: Address, Location_ID
  - Museums: * (all columns)
  - Photos: Description, Other_Details, Photo_ID, Tourist_Attraction_ID
  - Ref_Attraction_Types: Attraction_Type_Description
  - Ref_Hotel_Star_Ratings: star_rating_description
  - Royal_Family: Royal_Family_Details
  - Shops: Shop_ID
  - Staff: * (all columns)
  - Street_Markets: Market_Details
  - Theme_Parks: Theme_Park_Details
  - Tourist_Attraction_Features: Tourist_Attraction_ID
  - Tourist_Attractions: * (all columns)
  - Visitors: * (all columns)
  - Visits: Tourist_ID, Visit_Date, Visit_Details, Visit_ID

Question: What are the names of tourist attraction that Alison visited but Rosalind did not visit?
Answer: Sorry, I cannot answer.
Permission: denied (All required columns are permitted)
Gold SQL: SELECT T1.Name FROM Tourist_Attractions AS T1 JOIN VISITORS AS T2 JOIN VISITS AS T3 ON T1.Tourist_Attraction_ID  =  T3.Tourist_Attraction_ID AND T2.Tourist_ID  =  T3.Tourist_ID WHERE T2.Tourist_Details  =  "Alison" EXCEPT SELECT T1.Name FROM Tourist_Attractions AS T1 JOIN VISITORS AS T2 JOIN VISITS AS T3 ON T1.Tourist_Attraction_ID  =  T3.Tourist_Attraction_ID AND T2.Tourist_ID  =  T3.Tourist_ID WHERE T2.Tourist_Details  =  "Rosalind"