what stars can be found in 40 eridani?
(AND astronomy.star (JOIN astronomy.star.star_system m.025gvk))