Task: Text to Code
Input (English): for the attendance records of all rows , all of them are greater than 25000 .
Output (English): all_greater { all_rows ; attendance ; 25000 }