which school district teaches 12th grade as the highest grade taught?
(AND education.school_district (JOIN education.school_district.highest_grade_taught m.042_h5))