Input (grade 7): Rigside is a former mining village.
Output (grade 4): Rigside used to be a mining village.