Question: How many international residetns are there in the city where Jasmine Choi was born?
Sentence (from "Jasmine Choi"): Jasmine Choi (born 1983, Seoul, South Korea) is a Korean flutist.
Relevant evidence: Yes