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