Translate the following question to SQL: What is the first name and age of every student who lives in a dorm with a TV Lounge?

Schema: CREATE TABLE Student (
    StuID INTEGER   PRIMARY KEY,
    LName VARCHAR(12),
    Fname VARCHAR(12),
    Age INTEGER,
    Sex VARCHAR(1),
    Major INTEGER,
    Advisor INTEGER,
    city_code VARCHAR(3)
);

CREATE TABLE Dorm (
    dormid INTEGER,
    dorm_name VARCHAR(20),
    student_capacity INTEGER,
    gender VARCHAR(1)
);

CREATE TABLE Dorm_amenity (
    amenid INTEGER,
    amenity_name VARCHAR(25)
);

CREATE TABLE Has_amenity (
    dormid INTEGER,
    amenid INTEGER,
    FOREIGN KEY (amenid) REFERENCES Dorm_amenity(amenid),
    FOREIGN KEY (dormid) REFERENCES Dorm(dormid)
);

CREATE TABLE Lives_in (
    stuid INTEGER,
    dormid INTEGER,
    room_number INTEGER,
    FOREIGN KEY (dormid) REFERENCES Dorm(dormid),
    FOREIGN KEY (stuid) REFERENCES Student(StuID)
);
user
SELECT T1.fname ,  T1.age FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid  =  T2.stuid WHERE T2.dormid NOT 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')
assistant