All the definitions of object classes, some examples of instances of those classes, the definitions of the user-menu-choices associated with selected class definitions and the definitions of the procedures that those user-menu-choices invoke, the definitions of classes of variables and parameters, as well as the definitions of relations, formulas, rules and other procedures, to be discussed in the