what ski lift has a maximum elevation of 1860.0?
(AND skiing.ski_lift (JOIN skiing.ski_lift.top_elevation 1860.0^^http://www.w3.org/2001/XMLSchema#float))