the constellation of pisces austrinus is home to which star?
(AND astronomy.star (JOIN astronomy.star.constellation m.05_3_))