Input (grade 13): Progressive rock eventually stuck as a label for a specific genre of rock music, while "art rock" was used to refer to a wider, more subjective and harder-to-categorize collection of bands.
Output (grade 12): Progressive rock eventually stuck as a label for a specific genre of rock music, while art rock was used to described bands that were harder to label.