Class header definition
The class definition is introduced by the class keyword and the class name. ODABA provides an extended extents definition for class extents. Also inheritance definitions provide some ODABA specific extensions as multiple inheritances for classes.
Definition:
class_header := _class syn_ident [persistent] [extends_spec] [inheritance_spec] [type_property_list]