CREATE TABLE dorm (dorm_name VARCHAR(255), dormid VARCHAR(255)); CREATE TABLE has_amenity (dormid VARCHAR(255), amenid VARCHAR(255)); CREATE TABLE dorm_amenity (amenid VARCHAR(255), amenity_name VARCHAR(255))
Find the name of dorms which have TV Lounge but no Study Room as amenity.
    
SQL: 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' 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 = 'Study Room'