the aircraft model that can fly more than or equal to 15400.0 is named what?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.018rl2 m.0ch58gy m.02fk99 m.0222cx m.0636bh m.024gh2 m.02qnqx m.01qznh m.0j51kns g.121j1_nq
Airbus A380 KQ-X Boeing X-20 Dyna-Soar Convair B-36 Peacemaker Boeing Pelican Antonov An-225 Mriya Northrop YB-49 Rutan Voyager B-52H Airbus A340-500
class literal
aviation.aircraft_model 15400.0^^http://www.w3.org/2001/XMLSchema#float
aviation.aircraft_model type.float
Aircraft model 15400.0
none >=
aviation.aircraft_model.range
Range
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 :aviation.aircraft_model . 
FILTER (?x1 >= "15400.0"^^<http://www.w3.org/2001/XMLSchema#float>)
?x0 :aviation.aircraft_model.range ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND aviation.aircraft_model (ge aviation.aircraft_model.range 15400.0^^http://www.w3.org/2001/XMLSchema#float))