Param> [:= <InitialValue [...] <InitialValue> : 具有

exactly one value of [...] ParamListNotEmpty> ::= <ActualParamValue> | <ActualParamValue