Input (grade 10): However, this coronation was deemed by the Pope to be improper, and a further coronation was held in the Abbey on 17 May 1220.
Output (grade 12): So the king was crowned in Gloucester Cathedral, but this coronation was deemed by the Pope to be improper, and a further coronation was held in the Abbey on 17 May 1220.