the meteorite from planet mars is named?
(AND astronomy.meteorite (JOIN astronomy.meteorite.source_celestial_body m.09cws))