Find the first and last name of students who are living in the dorms that have amenity TV Lounge.
CREATE TABLE student (
    stuid number,
    lname text,
    fname text,
    age number,
    sex text,
    major number,
    advisor number,
    city_code text
)

CREATE TABLE lives_in (
    stuid number,
    dormid number,
    room_number number
)

CREATE TABLE has_amenity (
    dormid number,
    amenid number
)

CREATE TABLE dorm_amenity (
    amenid number,
    amenity_name text
)

CREATE TABLE dorm (
    dormid number,
    dorm_name text,
    student_capacity number,
    gender text
)
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')
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: Find the first and last name of students who are living in the dorms that have amenity TV Lounge. ### Input: CREATE TABLE student (
    stuid number,
    lname text,
    fname text,
    age number,
    sex text,
    major number,
    advisor number,
    city_code text
)

CREATE TABLE lives_in (
    stuid number,
    dormid number,
    room_number number
)

CREATE TABLE has_amenity (
    dormid number,
    amenid number
)

CREATE TABLE dorm_amenity (
    amenid number,
    amenity_name text
)

CREATE TABLE dorm (
    dormid number,
    dorm_name text,
    student_capacity number,
    gender text
) ### Response: 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')