which stars have the spectral type of m7 iiie?
(AND astronomy.star (JOIN astronomy.star.spectral_type m.0hnfk_7))