Instruct: Given a premise, retrieve hypotheses that are 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 retired due to having several injuries
Helena Sukova enjoyed watching other people play tennis.
Yulia Victorovna Makhalina won first place in a competition 
Helena Sukova is a retired professional tennis player.
Helena Sukova also lived in the United States.
Serena is a tennis player
Serena Williams won the 2017 ATP Challenger
Serena Williams had a leg injury
In the Grand Slam finals, Leila Meskhi was defeated by eventual champion Natasha Zvereva.
Zaiga Jansone-Ivanova and Olga Morozova won 5 soviet champiohships together in womens doubles
Ulyana Lopatkina is a basketball player
Zaiga Jansone-Ivanova was a five-time Soviet champion in women's doubles with Vladimir Korotkov
They has been part of the WTA tour. 
osaka beat Serena Williams to win the game
Zaiga Jansone-Ivanova is a 5 time Soviet Champion in woman's doubles
Zaiga Jansone-Ivanova is a former tennis coach
Annacone won the tournament in the previous year.
Serena likes to play tennis
Mate Pavić is a Russian tennis player
Jeanne Evert won the US Open in 1973
Amélie Simone Mauresmo was a popular tennis player worldwide 
Jeanne Evert is an active professional tennis player
She retired due to not liking it anymore
She was not a professional tennis player
Seveastova passed away in 2016.