Task: Code to Text
Input (English): round_eq { sum { all_rows ; time } ; 15:41 } = true
Output (English): the sum of the time record of all rows is 15:41 .