Question: What district did the 13th president of the University of Oklahoma represent in Congress?
Sentence (from "David L. Boren"): David Boren officially announced his retirement as president of the University of Oklahoma, effective June 30, 2018.
Relevant evidence: No