Premise: The ATP Finals is the second highest tier of men 's tennis tournament after the four Grand Slam tournaments . Roger Federer ( born 8 August 1981 ) is a Swiss professional tennis player . 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 . Stanislas `` Stan '' Wawrinka ( [ stanislas vavʁiŋka ] ; born 28 March 1985 ) is a Swiss professional tennis player .
Hypothesis: Roger Federer is a player of the sport tennis.
Label: ENTAILMENT