tau ceti f is the planet of which star?
(AND astronomy.star (JOIN astronomy.star.planet_s m.0pb4_0p))