Statement: none of the england players took as many wickets as bill johnston

Input Table: 1948 ashes series

Step 1: Select rows where 'team' is 'england'.
player team matches wickets average best_bowling
ray lindwall australia 5 27 19.62 6 / 20
bill johnston australia 5 27 23.33 5 / 36
alec bedser england 5 18 38.22 4 / 81
keith miller australia 5 13 23.15 4 / 125
ernie toshack australia 4 11 33.09 5 / 40
norman yardley england 5 9 22.66 2 / 32
jim laker england 3 9 52.44 4 / 138

Step 2: Select rows where 'wickets' is greater than or equal to 27.
player team matches wickets average best_bowling
alec bedser england 5 18 38.22 4 / 81
norman yardley england 5 9 22.66 2 / 32
jim laker england 3 9 52.44 4 / 138

Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 0, otherwise return FALSE.
player team matches wickets average best_bowling

Final output table:
verification_result
TRUE

Prediction: TRUE