Question: What high school did NFL quarterback, Heisman winner, and OU football player graduate from?
Sentence (from "University of Oklahoma"): In Fall 2016 the university had 31,250 students enrolled, most at its main campus in Norman.
Relevant evidence: No