identify stars with a spectral type of m7 iiie
(AND astronomy.star (JOIN astronomy.star.spectral_type m.0hnfk_7))