the constellation of pisces austrinus is home to which star?
Entity Entity Entity Entity
m.013r35 m.01d51z m.05c4pn m.0cvzsq
Fomalhaut Lacaille 9352 HD 216770 TW Piscis Austrini
class entity
astronomy.star m.05_3_
astronomy.star astronomy.constellation
Star pisces austrinus
none none
astronomy.star.constellation
Constellation
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 . 
VALUES ?x1 { :m.05_3_ } 
?x0 :astronomy.star.constellation ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND astronomy.star (JOIN astronomy.star.constellation m.05_3_))