User blog comment:GamesFan2000/Another attempt at array notation.../@comment-35470197-20181114073145

> Rule 7

Maybe the first "w" in the right hand side is a typo of "w-1" :P

Also you forgot to write the rules applicable to following examples (e.g. there is no rule refering to copilot):
 * {2,2,1,1,1}
 * {2,2,1,1,2}
 * {2,2,2,1,1,1,2}