venis is part of what star system?
(AND astronomy.star_system (JOIN astronomy.star_system.planets m.09bcm))