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