what schools are located in the school district of petrolia independent school district?
Entity Entity Entity
m.076cs9c m.0764f8_ m.076d7lk
Petrolia High School Petrolia Elementary School Petrolia Junior High School
class entity
education.school m.0gp9l_
education.school education.school_district
School Petrolia Independent School District
none none
education.school.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 . 
VALUES ?x1 { :m.0gp9l_ } 
?x0 :education.school.school_district ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND education.school (JOIN education.school.school_district m.0gp9l_))