name the satellite which uses a launch vehicle whose rocket function is launch vehicle and has more than 3 number of stages.
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.05p7xg2 g.120j878p g.1s04w31b2 m.027dbkk m.027pjc0 m.0286wf5 m.028b05c m.02q3mw2 m.04132qx m.047rl6s m.05q51x9 m.060_f1 m.06424k2 m.06_w6j0 m.06zjt95 m.07y3r1 m.0bs1hcs m.0bs92fl m.0ch1yn m.0ffsxy m.0gy0595 m.0j9p7l8 m.0jt454p m.0n8zlzb m.0pdnwp9 m.0t_c8m4 m.0w7l9l1 m.0287ydm g.1pxxnvfml g.120vzk9z g.121rjkr9 g.11bbqh37sb g.12bfg6125 g.1q5jybdqg g.1q61hhs9p g.1q6j7t9l1 m.02r_mv m.0fmdhd m.0ggxr2 m.0h94nr3 m.05zjfcc
LARES null null EgyptSat 1 Resourcesat-1 Kalpana-1 Cartosat-2 Formosat-2 Cartosat-2A Megha-Tropiques MaSat-1 Cartosat-1 Oceansat-2 Resourcesat-2 RISAT-1 ADM-Aeolus Cartosat-2B SARAL Orbiting Carbon Observatory Genesis I GSAT-12 IRNSS-1A PW-Sat CHEOPS VNREDSat 1A BIRD CAT-1 Genesis II SPOT-7 null null null null null null null Near Field Infrared Experiment USA-165 JAWSAT GeneSat-1 RISAT-2
class class entity literal
spaceflight.satellite spaceflight.rocket m.04rkwz 3^^http://www.w3.org/2001/XMLSchema#integer
spaceflight.satellite spaceflight.rocket spaceflight.rocket_function type.int
Satellite Rocket Launch vehicle 3
none none none >
spaceflight.satellite.launch_vehicle spaceflight.rocket.rocket_function spaceflight.rocket.number_of_stages
Launch Vehicle Rocket Function Number Of Stages
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 . 
?x1 :type.object.type :spaceflight.rocket . 
VALUES ?x2 { :m.04rkwz } 
FILTER (?x3 > "3"^^<http://www.w3.org/2001/XMLSchema#integer>)
?x0 :spaceflight.satellite.launch_vehicle ?x1 . 
?x1 :spaceflight.rocket.rocket_function ?x2 . 
?x1 :spaceflight.rocket.number_of_stages ?x3 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(AND spaceflight.satellite (JOIN spaceflight.satellite.launch_vehicle (AND (JOIN spaceflight.rocket.rocket_function m.04rkwz) (gt spaceflight.rocket.number_of_stages 3^^http://www.w3.org/2001/XMLSchema#integer))))