Choice5(this.p1, this.p2, this.p3, this.p4, this.p5) { label = '(${[p1, p2, p3, p4, p5].map(Parser.quote).join(' | ')})'; }