which space mission has astronaut binnie?
Entity
m.03jfhl
SpaceShipOne flight 17P
class entity
spaceflight.space_mission m.0377tv
spaceflight.space_mission spaceflight.astronaut
Space Mission binnie
none none
spaceflight.space_mission.astronauts
Astronauts (if manned)
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.0377tv } 
?x0 :spaceflight.space_mission.astronauts ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND spaceflight.space_mission (JOIN spaceflight.space_mission.astronauts m.0377tv))