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