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