the distance of at least 57.05 is attained by which star system?
Entity Entity Entity Entity Entity Entity Entity
m.057xd m.013d4 m.06m67x m.078wl m.08sh06 m.09tqd8 m.05s8k
Mira Antares CoKu Tau/4 Spica Alpha Equulei VV Cephei Polaris
class literal
astronomy.star_system 57.05^^http://www.w3.org/2001/XMLSchema#float
astronomy.star_system type.float
Star System 57.05
none >=
astronomy.celestial_object.cosmological_distance
Distance
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 :astronomy.star_system . 
FILTER (?x1 >= "57.05"^^<http://www.w3.org/2001/XMLSchema#float>)
?x0 :astronomy.celestial_object.cosmological_distance ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND astronomy.star_system (ge astronomy.celestial_object.cosmological_distance 57.05^^http://www.w3.org/2001/XMLSchema#float))