for the fast bowlers, whose top score is no less than 77?
(AND cricket.cricket_bowler (AND (JOIN cricket.cricket_player.test_stats (ge cricket.cricket_player_stats.top_score 77^^http://www.w3.org/2001/XMLSchema#integer)) (JOIN cricket.cricket_bowler.pace m.02k87lx)))