Task: Code to Text
Input (English): all_eq { all_rows ; year ; 2003 } = true
Output (English): for the year records of all rows , all of them are equal to 2003 .