Param> [:= <InitialValue [...] <InitialValue> ：変数 [...] : LREAL (* Variable #x

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