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.