the prominence of 533.0 belongs to which mountain?
Entity Entity Entity Entity Entity Entity
m.0275ftp m.03lxpw m.05c2p3p m.01sz1z m.04ct8wb m.04cxqp_
Kearsarge North High Willhays Mont Raimeux Buachaille Etive Mòr Kärpf Mount Heber
class literal
geography.mountain 533.0^^http://www.w3.org/2001/XMLSchema#float
geography.mountain type.float
Mountain 533.0
none none
geography.mountain.prominence
Prominence
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 :geography.mountain . 
VALUES ?x1 { "533.0"^^<http://www.w3.org/2001/XMLSchema#float> } 
?x0 :geography.mountain.prominence ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND geography.mountain (JOIN geography.mountain.prominence 533.0^^http://www.w3.org/2001/XMLSchema#float))