what is the name of the hotel that has 257 rooms for guest?
(AND travel.hotel (JOIN travel.hotel.number_of_guest_beds 257^^http://www.w3.org/2001/XMLSchema#integer))