Question: Are John Austin and Marin Čilić are professional tennis players from different countries?
Sentence (from "Marin Čilić"): Marin Čilić (; born 28 September 1988) is a Croatian professional tennis player.
Relevant evidence: Yes