Question: Which university has a mascot that is a horned frog: Texas Christian University or Emory University?
Sentence (from "Texas Christian University"): The university enrolls around 10,394, with 8,892 being undergraduates.
Relevant evidence: No