is there a hotel with 57200.0 floor space?
(AND travel.hotel (ge architecture.building.floor_space_square_meters 57200.0^^http://www.w3.org/2001/XMLSchema#float))