which spacecraft manufacturer has manufactured a satellite who launched sputnik?
Entity
m.018bmr
S.P. Korolev Rocket and Space Corporation Energia
class class entity
spaceflight.satellite_manufacturer spaceflight.satellite m.0407zvl
spaceflight.satellite_manufacturer spaceflight.satellite spaceflight.rocket
Spacecraft Manufacturer Satellite Sputnik
none none none
spaceflight.satellite_manufacturer.spacecraft_manufactured spaceflight.satellite.launch_vehicle
Spacecraft manufactured Launch Vehicle
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_manufacturer . 
?x1 :type.object.type :spaceflight.satellite . 
VALUES ?x2 { :m.0407zvl } 
?x0 :spaceflight.satellite_manufacturer.spacecraft_manufactured ?x1 . 
?x1 :spaceflight.satellite.launch_vehicle ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured (JOIN spaceflight.satellite.launch_vehicle m.0407zvl)))