Task: Text to Code
Input (English): Command: all_greater { all_rows ; distance / duration ; 40 laps }, interpretation: for the distance / duration records of all rows , all of them are greater than 40 laps .
Output (English): yes