betsy layne high school has which schools in the same district?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.0g43pd m.075_mcw m.03cg3z9 m.07628sw m.0766pcg m.076pkns m.076c4wt m.0b6sc12 m.0766pc6 m.0764xgd m.0766pbg m.076pkp1 m.0765dql m.07628t3 m.076523t m.0764621 m.076c4wk
Allen Central High School South Floyd High School Prestonsburg High School Mcdowell Elementary School Charles Clark Elementary School Prestonsburg Elementary School South Floyd Middle School Prestonsburg Elementary School Allen Elementary School James A Duff Elementary School Betsy Layne Elementary School W D Osborne Elementary School May Valley Elementary School J M Stumbo Elementary School Opportunities Unlimited Alternative School James D Adams Middle School Allen Central Middle School
class class entity
education.school education.school_district m.0766pb6
education.school education.school_district education.school
School School district Betsy Layne High School
none none none
education.school.school_district education.school.school_district
School district School district
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 . 
?x1 :type.object.type :education.school_district . 
VALUES ?x2 { :m.0766pb6 } 
?x0 :education.school.school_district ?x1 . 
?x2 :education.school.school_district ?x1 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND education.school (JOIN education.school.school_district (JOIN (R education.school.school_district) m.0766pb6)))