What are the amenities in the dorm that a student who has the last name of Smith lives in?
SELECT T3.amenity_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 JOIN lives_in AS T4 ON T4.dormid  =  T1.dormid JOIN student AS T5 ON T5.stuid  =  T4.stuid WHERE T5.lname  =  'Smith'
SELECT T3.amenity_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 JOIN lives_in AS T4 ON T4.dormid  =  T1.dormid JOIN student AS T5 ON T5.stuid  =  T4.stuid WHERE T5.lname  =  'Smith'
[{'amenity_name': 'TV Lounge'}, {'amenity_name': 'Study Room'}, {'amenity_name': 'Carpeted Rooms'}, {'amenity_name': '4 Walls'}, {'amenity_name': 'Heat'}, {'amenity_name': 'Roof'}, {'amenity_name': 'Ethernet Ports'}, {'amenity_name': 'Air Conditioning'}, {'amenity_name': 'Study Room'}, {'amenity_name': 'Carpeted Rooms'}, {'amenity_name': '4 Walls'}, {'amenity_name': 'Heat'}, {'amenity_name': 'Roof'}]