text: 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 .
simplified: 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 .