Question: How many students are in those four dorms?
SQL: SELECT count ( * )  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' )