mintaka is a part of which asterism?
(AND astronomy.asterism (JOIN astronomy.asterism.stars m.0233_5))