grade 12 is the highest grade taught by which school districts?
(AND education.school_district (JOIN education.school_district.highest_grade_taught m.042_h5))