Premise: The 1994 Formula One season was the 48th season of FIA Formula One motor racing . The 2004 Formula One season was the 58th season of FIA Formula One motor racing . Felipe Massa ( [ fiˈlipi ˈmasɐ ] , born 25 April 1981 ) is a Brazilian Formula One racing driver who currently drives for Williams . Michael Schumacher . Schumacher agreed to return for Ferrari part-way through 2009 , as cover for the badly injured Felipe Massa , but was prevented by a neck injury .
Hypothesis: Michael Schumacher is a racer.
Label: ENTAILMENT