what is the farthest variable stars?
Entity
m.0l1js
Proxima Centauri
class class entity literal
astronomy.celestial_object astronomy.celestial_object_category m.0gzxf 0^^http://www.w3.org/2001/XMLSchema#int
astronomy.celestial_object astronomy.celestial_object_category astronomy.celestial_object_category type.float
Celestial Object Celestial object category variable stars 0
none none none argmax
astronomy.celestial_object_category.objects astronomy.celestial_object_category.subcategories astronomy.celestial_object.cosmological_distance
Objects Subcategories 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.celestial_object . 
?x1 :type.object.type :astronomy.celestial_object_category . 
VALUES ?x2 { :m.0gzxf } 
{
SELECT (MAX(?y3) AS ?x3)  WHERE { 
?y0 :type.object.type :astronomy.celestial_object . 
?y1 :type.object.type :astronomy.celestial_object_category . 
VALUES ?y2 { :m.0gzxf } 
?y1 :astronomy.celestial_object_category.objects ?y0 . 
?y2 :astronomy.celestial_object_category.subcategories ?y1 . 
?y0 :astronomy.celestial_object.cosmological_distance ?y3 . 
FILTER ( ?y0 != ?y1 && ?y0 != ?y2 && ?y0 != ?y3 && ?y1 != ?y2 && ?y1 != ?y3 && ?y2 != ?y3  )
}
}
?x1 :astronomy.celestial_object_category.objects ?x0 . 
?x2 :astronomy.celestial_object_category.subcategories ?x1 . 
?x0 :astronomy.celestial_object.cosmological_distance ?x3 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(ARGMAX (AND astronomy.celestial_object (JOIN (R astronomy.celestial_object_category.objects) (JOIN (R astronomy.celestial_object_category.subcategories) m.0gzxf))) astronomy.celestial_object.cosmological_distance)