class TEST5 inherit TEST1 [STRING, INTEGER] feature key: STRING is do end item: INTEGER is do end end