: LiteralOrConstant Max := <max value [...] and arrays. Parameter
Path} Cardinality: [{MIN} .. {MAX [...] and {MAX} are integer [...] -negative literals. If {MAX} !=