Input (grade 7): He was the 2007 Formula One World Drivers' Champion.
Output (grade 7): He is the 2007 Formula One World Drivers' Champion.