the ski lift that is known to have a top elevation of 1860.0 is?
(AND skiing.ski_lift (JOIN skiing.ski_lift.top_elevation 1860.0^^http://www.w3.org/2001/XMLSchema#float))