Task: Text to Code
Input (English): Command: round_eq { sum { all_rows ; championships } ; 1 }, interpretation: the sum of the championships record of all rows is 1 .
Output (English): yes