locate all exoplanets of stars with spectral type of k0iiib.
(AND base.exoplanetology.exoplanet (JOIN (R astronomy.star.planet_s) (JOIN astronomy.star.spectral_type m.0hng1n3)))