in how many different highschools have people schooled in michigan wolverines football studied ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbo_school dbr_Michigan_Wolverines_football sep_dot var_x dbp_highschool var_uri sep_dot var_uri a dbo_EducationalInstitution brack_close