class A2 inherit A [CHARACTER] feature item (i: INTEGER): CHARACTER is do Result := 'a' end end