CREATE TABLE has_amenity (dormid VARCHAR(255), amenid VARCHAR(255)); CREATE TABLE lives_in (stuid VARCHAR(255), dormid VARCHAR(255)); CREATE TABLE student (fname VARCHAR(255), lname VARCHAR(255), stuid VARCHAR(255)); CREATE TABLE dorm_amenity (amenid VARCHAR(255), amenity_name VARCHAR(255))
Find the first and last name of students who are living in the dorms that have amenity TV Lounge.
    
SQL: SELECT T1.fname, T1.lname FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid = T2.stuid WHERE T2.dormid IN (SELECT T3.dormid FROM has_amenity AS T3 JOIN dorm_amenity AS T4 ON T3.amenid = T4.amenid WHERE T4.amenity_name = 'TV Lounge')