class MULTI [reference G -> {B, C}]
inherit NON_MULTI redefine a end
feature
a: G
end