Input (grade 12): Cory Bartholomew Redding (born November 15, 1980) is an American football defensive lineman for the Baltimore Ravens of the National Football League.
Output (grade 12): Cory Bartholomew Redding (born November 15, 1980 in Houston, Texas) is an American Football defensive end for the Baltimore Ravens of the National Football League (NFL).