Slots

A slot description has the form

     Visibility SlotName:SlotType = InitialValue
     

where Visibility and = InitialValue are optional. Each slot of a class must have a distinct name, given by the atom SlotName. The Visibility, SlotType and InitialValue parts of the slot description are described separately.