who turned pro in tennis on 4?
(AND tennis.tennis_player (JOIN tennis.tennis_player.number_of_tennis_titles 4^^http://www.w3.org/2001/XMLSchema#integer))