Task: Text to Code
Input (English): for the total records of all rows , all of them are greater than or equal to 1 .
Output (English): all_greater_eq { all_rows ; total ; 1 }