Input (grade 9): In 1887, Johann Strauss, better known as the Waltz King, left Vienna when the Roman Catholic Church forbade his divorce from his 2nd wife.
Output (grade 7): In 1887, Johann Strauss, the Waltz King, left Vienna when the Roman Catholic Church would not let him divorce his 2nd wife.