Syntax
where NNNN is a sequence of alphanumeric characters such that the names
NNNN.r and NNNN.c are legal filenames for the platform on
which [B/D] is being run.
The RESTORE: command is used to restore data and belief
specifications previously saved using the SAVE: command. If
the corresponding SAVE: command was as in the example
then the RESTORE: command must be
Note in particular that the restored specifications overwrite
any previously existing specifications with the same names, but leave
alone any other previously existing specifications.