what ski area has 2255.5 as its top elevation?
(AND skiing.ski_area (JOIN skiing.ski_area.top_elevation 2255.5^^http://www.w3.org/2001/XMLSchema#float))