Premise: The ATP Finals is the second highest tier of men 's tennis tournament after the four Grand Slam tournaments . The ATP Finals are the season-ending championships of the Association of Tennis Professionals ( ATP ) World Tour , featuring the top eight singles players and doubles teams of the ATP Rankings . Roger Federer . He is currently ranked world No. 5 by the Association of Tennis Professionals ( ATP ) . Federer 's ATP tournament records include winning a record six ATP World Tour Finals and playing in the finals at all nine ATP Masters 1000 tournaments .
Hypothesis: Roger Federer plays professional tennis.
Label: ENTAILMENT