Task: Text to Code
Input (English): select the rows whose year record is greater than or equal to 1980 . the average of the world ranking record of these rows is 9.5 .
Output (English): round_eq { avg { filter_greater_eq { all_rows ; year ; 1980 } ; world ranking } ; 9.5 }