Input (grade 9): It was founded in 1440 by King Henry VI as "The King's College of Our Lady of Eton besides Wyndsor".
Output (grade 2): It was founded in 1440 by King Henry VI.