Input (grade 9): It is named after Richmond, Virginia, and is the home of Eastern Kentucky University.
Output (grade 10): Eastern Kentucky University is in Richmond.