The run statement of the AimmsCmd tool does not support running procedures that have arguments. This means that if you want to have a procedure that loads a given case via the AimmsCmd, you must do so by introducing a new string parameter CaseToLoad, which you assign a value with the let statement. After that, you have to execute a procedure that will load the case denoted by the value of the string parameter CaseToLoad.