Task: Text to Code
Input (English): Command: all_eq { all_rows ; width ; 96 }, interpretation: for the width records of all rows , all of them are equal to 96 .
Output (English): yes