Input (grade 13): The city of Ponce, the second largest in Puerto Rico outside of the San Juan metropolitan area, is named for Juan Ponce de León y Loayza, the great-grandson of Spanish conquistador Juan Ponce de León.
Output (grade 8): The city was named after Juan Ponce de León y Loayza, the grandson of Spanish conquistador Juan Ponce de León.