Task: Code to Text
Input (English): all_less_eq { all_rows ; time ; 2:31.71 } = true
Output (English): for the time records of all rows , all of them are less than or equal to 2:31.71 .