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