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 6): The school was founded as the Kings College of Our Lady of Eton beside Windsor.