Input (grade 7): Officially, slavery as such has been abolished.
Output (grade 10): Officially, slavery has been abolished.