which schools' highest grade taught is 9th grade?
(AND education.school (JOIN education.school.highest_grade_taught m.042_f1))