code: Rule NthRepeatNum() {
  		return Sequence(
  			DIGITS(),
  			ZeroOrMoreS(SequenceS(FirstOf(',', '-').suppressNode(),
  								DIGITS()))
  		).label(NthRepeatNum);
  	}
docs: nth-repeat-num ::= 1*DIGIT *(("," / "-") 1*DIGIT)