what is the mascot for the school of letran knights?
Entity
m.0h7gyb8
Colegio de San Juan de Letran Johnny The Big Knight
class class entity
education.school_mascot education.school m.09czvk
education.school_mascot education.school education.athletics_brand
School mascot School Letran Knights
none none none
education.educational_institution.mascot education.athletics_brand.institution
Mascot 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 :education.school_mascot . 
?x1 :type.object.type :education.school . 
VALUES ?x2 { :m.09czvk } 
?x1 :education.educational_institution.mascot ?x0 . 
?x2 :education.athletics_brand.institution ?x1 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND education.school_mascot (JOIN (R education.educational_institution.mascot) (JOIN (R education.athletics_brand.institution) m.09czvk)))