Task: Text to Code
Input (English): Command: most_greater { all_rows ; launch ; 2000 }, interpretation: select the row whose strike rate record of all rows is maximum . the player record of this row is paul harris .
Output (English): no