which schools' highest grade taught is high school year 4?
(AND education.school (JOIN education.school.highest_grade_taught m.04vfvgf))