which ski area has a top elevation of 514.5?
(AND skiing.ski_area (JOIN skiing.ski_area.top_elevation 514.5^^http://www.w3.org/2001/XMLSchema#float))