what schools are located in the school district of petrolia independent school district?
(AND education.school (JOIN education.school.school_district m.0gp9l_))