what is the name of the satellite that's orbiting planet mars?
Entity Entity Entity Entity Entity Entity Entity
m.01887c m.01h_7t m.0knt6hh m.02bch7 m.025rpdw m.025rpf7 m.04yfsbs
Mars Express Mars Global Surveyor Mars Orbiter Mission Mars Reconnaissance Orbiter Mars 2 Mars 3 MAVEN
class entity
spaceflight.satellite m.09cws
spaceflight.satellite astronomy.celestial_object
Satellite planet mars
none none
spaceflight.satellite.orbiting
Orbiting
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.satellite . 
VALUES ?x1 { :m.09cws } 
?x0 :spaceflight.satellite.orbiting ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND spaceflight.satellite (JOIN spaceflight.satellite.orbiting m.09cws))