the do√±a is the mascot of what educational institution?
Entity Entity Entity Entity Entity Entity Entity
m.07pl2m m.01t3jl m.0dmkjd m.09d72p m.0g13gz m.08wj9n m.0d0s6n
Cerritos High School De Anza College Amador Valley High School Verdugo Hills High School Coronado High School Aragon High School Cathedral Catholic High School
class entity
education.educational_institution m.01qzf2
education.educational_institution education.school_mascot
Educational Institution do√±a
none none
education.educational_institution.mascot
Mascot
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 :education.educational_institution . 
VALUES ?x1 { :m.01qzf2 } 
?x0 :education.educational_institution.mascot ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND education.educational_institution (JOIN education.educational_institution.mascot m.01qzf2))