which asterism has mintaka
(AND astronomy.asterism (JOIN astronomy.asterism.stars m.0233_5))