Database_File

 Each record of the context database file defines a particular
 context in terms of its name, an associated context file, its
 parent context (optional), and a description (optional).

 The format of each record is:

      context-name filespec [parent-context-name] ["description"]

 The context name and context file specification fields must be
 present.  The context name should begin in the first column and
 each field should be separated by a single blank space.

 The parent context name is the name of another context defined
 in the same database file.  The description must be enclosed in
 double quotation marks.

 Note that this file is automatically generated when you save a
 database via the Environment Manager's graphical user interface.