which hotel has ocean pool bar & grill in?
(AND travel.hotel (JOIN travel.hotel.drinking_establishments m.0j_hj3s))