Input (grade 4): He was the 2009 World Drivers' Champion.
Output (grade 7): Button won the Formula One World Drivers' Champion in 2009.