variables - CPLEX では、forall ループ構文で変数を使用するにはどうすればよいですか?

Question

以下のように、cplex forall 構文で変数を使用したい..

forall(j in {1,2,3,4,5,6,7})
{
  x[1][j] + x[1][(j+3)%7] + x[1][(j+4)%7] + x[1][(j+5)%7] + 
  x[1][(j+6)%7] + x[2][j] + x[2][(j+3)%7] + x[2][(j+4)%7] + 
  x[2][(j+5)%7] + x[2][(j+6)%7] >= 5;
}

しかし、このスクリプトを実行した後、(j+3) が原因で構文エラーが発生しました... このアルゴリズムを使用するには、どのようにスクリプトを作成すればよいですか?