Premise: Miroslava `` Mirka '' Federer ( born Miroslava Vavrincová on 1 April 1978 , later Miroslava Vavrinec ) is a Slovak-born Swiss former professional tennis player .
Hypothesis: Mirka Federer is Slovak-born.
Label: ENTAILMENT