what ski area has 2870.0 as its top elevation?
Entity
m.027ldgv
Red Lodge Mountain
class literal
skiing.ski_area 2870.0^^http://www.w3.org/2001/XMLSchema#float
skiing.ski_area type.float
Ski Area 2870.0
none none
skiing.ski_area.top_elevation
Top elevation
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :skiing.ski_area . 
VALUES ?x1 { "2870.0"^^<http://www.w3.org/2001/XMLSchema#float> } 
?x0 :skiing.ski_area.top_elevation ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND skiing.ski_area (JOIN skiing.ski_area.top_elevation 2870.0^^http://www.w3.org/2001/XMLSchema#float))