which space mission's destination is planet mars?
Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.02bd0n m.02bd1w m.01lj7r m.0hpb39m m.0hp9zfr m.0hp9xj0 m.0hpb04w m.0n_8228 m.0hpb0p8
Mars Science Laboratory Phoenix Mars Exploration Rover Phoenix Mars Mission Opportunity Rover Mission Mars Pathfinder Mission Mars Polar Lander Mission Mars 2020 Spirit Rover Mission
class entity
spaceflight.space_mission m.09cws
spaceflight.space_mission spaceflight.mission_destination
Space Mission planet mars
none none
spaceflight.space_mission.destination
Destination
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :spaceflight.space_mission . 
VALUES ?x1 { :m.09cws } 
?x0 :spaceflight.space_mission.destination ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND spaceflight.space_mission (JOIN spaceflight.space_mission.destination m.09cws))