Question: Who was ranked World No. 1 in double first, Robert Seguso or Tom Okker?
Sentence (from "Robert Seguso"): Seguso reached the World No. 1 doubles ranking in 1985.
Relevant evidence: Yes