Instruct: Given a premise, retrieve a hypothesis that is entailed by the premise.
Query: Anastasija Sevastova (born 13 April 1990) is a professional tennis player from Latvia. Having retired in 2013 due to recurring injuries, Sevastova returned to competition in 2015 and became known for her campaign at the 2016 US Open, where she defeated third-seeded Garbiñe Muguruza as well as Johanna Konta en route to her first ever Grand Slam quarterfinal.
Anastasija Sevastova is known as a tennis player
Helena Sukova also lived in the United States.
Yulia Victorovna Makhalina won first place in a competition 
Serena has played tennis for a long time
In the Grand Slam finals, Leila Meskhi was defeated by eventual champion Natasha Zvereva.
osaka beat Serena Williams to win the game
Serena Williams had a leg injury
Zaiga Jansone-Ivanova and Olga Morozova won 5 soviet champiohships together in womens doubles
Serena Williams won the 2017 ATP Challenger
Zaiga Jansone-Ivanova was a five-time Soviet champion in women's doubles with Vladimir Korotkov
Annacone won the tournament in the previous year.
Helena Sukova is a retired professional tennis player.
They has been part of the WTA tour. 
Tabitha Anastasia had to jump through many hoops to become a member of the esteemed club.
She played in multiple matches against other teams.
Serena is a tennis player
Zaiga Jansone-Ivanova is a 5 time Soviet Champion in woman's doubles
Ulyana Lopatkina is a basketball player
Jeanne Evert won the US Open in 1973
Helena Sukova also liked the sport soccer.
Javer Sotomayor was in the Olympics.
Serena likes to play tennis
She retired due to not liking it anymore
She was not a professional tennis player
Seveastova passed away in 2016.