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