what asterism is part of ursa?
(AND astronomy.asterism (JOIN astronomy.asterism.constellations m.07t7j))