what asterism is kappa velorum in?
(AND astronomy.asterism (JOIN astronomy.asterism.stars m.07_dlj))