Yes. Just like `zeroOrMore` and `oneOrMore` `nTimes` is only defined on `Rule0`, `Rule1` and reduction rules.