Question: What type of buildings did the 13th President of the University of Oaklahoma have built?
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