what type of education does birmingham provide?
Entity
m.02xv3k
Rodolfo Neri Vela
class class entity
spaceflight.astronaut education.education m.01dthg
spaceflight.astronaut education.education education.university
Astronaut Education birmingham
none none none
people.person.education education.education.institution
Education Institution
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.astronaut . 
?x1 :type.object.type :education.education . 
VALUES ?x2 { :m.01dthg } 
?x0 :people.person.education ?x1 . 
?x1 :education.education.institution ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND spaceflight.astronaut (JOIN people.person.education (JOIN education.education.institution m.01dthg)))