Task: Code to Text
Input (English): round_eq { sum { filter_greater_eq { all_rows ; rank ; 4 } ; total } ; 5 } = true
Output (English): select the rows whose rank record is greater than or equal to 4 . the sum of the total record of these rows is 5 .