Input (grade 8): In another King Henry pronounced him deposed, and the Romans were required to choose a new pope.
Output (grade 7): Therefore King Henry declared that Gregory was no longer pope and the Romans should choose a new pope [].