which stars have a spectral type of m3v?
(AND astronomy.star (JOIN astronomy.star.spectral_type m.0hnfldw))