Question: How many students are enrolled in the university home of the Truman Bulldogs football program?
Sentence (from "Georgia Bulldogs football statistical leaders"): The Georgia Bulldogs football statistical leaders are individual statistical leaders of the Georgia Bulldogs football program in various categories, including passing, rushing, receiving, total offense, defensive stats, and kicking.
Relevant evidence: No