Clarification

[Dick Gabriel <RPG@SAIL.STANFORD.EDU>]

LGD and I are going over the CONCEPTS file. The following
sentence appears:

``The slot options provided by the various slot descriptions combine as
follows:

{\bf :allocation} comes from the most specific slot description in the
class precedence list---if it does not explicitly specify {\bf
:allocation}, the default is {\bf :allocation} {\bf :instance}.''

We propose the following fair copy:

``The slot options provided by the various slot descriptions combine as
follows:

The {\bf :allocation} option is inherited from the most specific class
in the class precedence list. If no superclass explicitly specifies
the {\bf :allocation} option, the default is {\bf :allocation}
{\bf :instance}.''

Note that this definition is intended to be recursive, because there might
be no class that explicitly specifies the :allocation option.

Any objections?

			-rpg-