Input (grade 4): The station would then be renamed "Radio 4 Extra".
Output (grade 7): BBC Radio 4 Extra is a British digital radio station.