class A2 [G -> C] inherit A [STRING] redefine a end feature a: ARRAY [B2 [G]] end