sharkiefff/RBAC-Text2SQL-Benchmark huggingface dataset:
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: Find the number of female students (with F sex) living in Smith Hall
Answer: SELECT count(*) FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid JOIN dorm AS T3 ON T3.dormid  =  T2.dormid WHERE T3.dorm_name  =  'Smith Hall' AND T1.sex  =  'F'
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT count(*) FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid JOIN dorm AS T3 ON T3.dormid  =  T2.dormid WHERE T3.dorm_name  =  'Smith Hall' AND T1.sex  =  'F'
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: How many female students live in Smith Hall?
Answer: SELECT count(*) FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid JOIN dorm AS T3 ON T3.dormid  =  T2.dormid WHERE T3.dorm_name  =  'Smith Hall' AND T1.sex  =  'F'
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT count(*) FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid JOIN dorm AS T3 ON T3.dormid  =  T2.dormid WHERE T3.dorm_name  =  'Smith Hall' AND T1.sex  =  'F'
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: Find the name of amenities Smith Hall dorm have.
Answer: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall'
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall'
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: What are the names of the amenities that Smith Hall has?
Answer: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall'
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall'
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: Find the name of amenities Smith Hall dorm have. ordered the results by amenity names.
Answer: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall' ORDER BY T3.amenity_name
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall' ORDER BY T3.amenity_name
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: What amenities does Smith Hall have in alphabetical order?
Answer: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall' ORDER BY T3.amenity_name
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T3.amenity_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T1.dorm_name  =  'Smith Hall' ORDER BY T3.amenity_name
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: Find the name of amenity that is most common in all dorms.
Answer: SELECT T1.amenity_name FROM dorm_amenity AS T1 JOIN has_amenity AS T2 ON T1.amenid  =  T2.amenid GROUP BY T2.amenid ORDER BY count(*) DESC LIMIT 1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T1.amenity_name FROM dorm_amenity AS T1 JOIN has_amenity AS T2 ON T1.amenid  =  T2.amenid GROUP BY T2.amenid ORDER BY count(*) DESC LIMIT 1
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: What is the most common amenity in the dorms?
Answer: SELECT T1.amenity_name FROM dorm_amenity AS T1 JOIN has_amenity AS T2 ON T1.amenid  =  T2.amenid GROUP BY T2.amenid ORDER BY count(*) DESC LIMIT 1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T1.amenity_name FROM dorm_amenity AS T1 JOIN has_amenity AS T2 ON T1.amenid  =  T2.amenid GROUP BY T2.amenid ORDER BY count(*) DESC LIMIT 1
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: Find the first name of students who are living in the dorm that has most number of amenities.
Answer: SELECT T1.fname FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid WHERE T2.dormid IN (SELECT T2.dormid FROM dorm AS T3 JOIN has_amenity AS T4 ON T3.dormid  =  T4.dormid JOIN dorm_amenity AS T5 ON T4.amenid  =  T5.amenid GROUP BY T3.dormid ORDER BY count(*) DESC LIMIT 1)
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T1.fname FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid WHERE T2.dormid IN (SELECT T2.dormid FROM dorm AS T3 JOIN has_amenity AS T4 ON T3.dormid  =  T4.dormid JOIN dorm_amenity AS T5 ON T4.amenid  =  T5.amenid GROUP BY T3.dormid ORDER BY count(*) DESC LIMIT 1)
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: What are the first names of all students who live in the dorm with the most amenities?
Answer: SELECT T1.fname FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid WHERE T2.dormid IN (SELECT T2.dormid FROM dorm AS T3 JOIN has_amenity AS T4 ON T3.dormid  =  T4.dormid JOIN dorm_amenity AS T5 ON T4.amenid  =  T5.amenid GROUP BY T3.dormid ORDER BY count(*) DESC LIMIT 1)
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T1.fname FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid WHERE T2.dormid IN (SELECT T2.dormid FROM dorm AS T3 JOIN has_amenity AS T4 ON T3.dormid  =  T4.dormid JOIN dorm_amenity AS T5 ON T4.amenid  =  T5.amenid GROUP BY T3.dormid ORDER BY count(*) DESC LIMIT 1)
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: Find the name and capacity of the dorm with least number of amenities.
Answer: SELECT T1.dorm_name ,  T1.student_capacity FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid GROUP BY T2.dormid ORDER BY count(*) LIMIT 1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T1.dorm_name ,  T1.student_capacity FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid GROUP BY T2.dormid ORDER BY count(*) LIMIT 1
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: What is the name and capacity of the dorm with the fewest amount of amenities?
Answer: SELECT T1.dorm_name ,  T1.student_capacity FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid GROUP BY T2.dormid ORDER BY count(*) LIMIT 1
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT T1.dorm_name ,  T1.student_capacity FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid GROUP BY T2.dormid ORDER BY count(*) LIMIT 1
##Instruction:
Database: dorm_1
Total Tables: 5
Total Columns: 19

Table Schemas:

dorm_1 contains tables such as Student, Dorm, Dorm_amenity, Has_amenity, Lives_in.
Table Student has columns such as StuID, LName, Fname, Age, Sex, Major, Advisor, city_code.
StuID is the primary key.
Table Dorm has columns such as dormid, dorm_name, student_capacity, gender.
Table Dorm_amenity has columns such as amenid, amenity_name.
Table Has_amenity has columns such as dormid, amenid.
Table Lives_in has columns such as stuid, dormid, room_number.
The amenid of Has_amenity is the foreign key of amenid of Dorm_amenity.
The dormid of Has_amenity is the foreign key of dormid of Dorm.
The dormid of Lives_in is the foreign key of dormid of Dorm.
The stuid of Lives_in is the foreign key of StuID of Student.

##Role Access Policy (Column-Level):
Role: ResidentAssistant
Accessible Columns: Student: StuID, LName, Fname, Age, Sex, Major; Dorm: dormid, dorm_name, student_capacity, gender; Dorm_amenity: amenid, amenity_name; Has_amenity: dormid, amenid; Lives_in: stuid, dormid, room_number

Based on the above schema and your role's column-level access policy, generate a SQL query to answer the question. If your role does not have access to the required columns, respond with: "Sorry, I cannot answer."


Question: Find the name of dorms that do not have amenity TV Lounge.
Answer: SELECT dorm_name FROM dorm EXCEPT SELECT T1.dorm_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T3.amenity_name  =  'TV Lounge'
Permission: allowed (All required columns are permitted)
Gold SQL: SELECT dorm_name FROM dorm EXCEPT SELECT T1.dorm_name FROM dorm AS T1 JOIN has_amenity AS T2 ON T1.dormid  =  T2.dormid JOIN dorm_amenity AS T3 ON T2.amenid  =  T3.amenid WHERE T3.amenity_name  =  'TV Lounge'