やっぱりオブジェクト指向は幻想でした。

>>702　　参考になればうれしいです。
class A feature
　　r is do ... end　　　-- *1
end

class B inherit A redefine r end
feature
　　r is do ... end　　　-- *2
end

class C inherit A redefine r end
feature
　　r is do ... end　　　-- *3
end

class D inherit
　　　　　　A rename r as r1 end
　　　　　　B rename r as r2 select r2 end
feature
　　r is do ... end　　　-- *4
end

d: D ;　create d　　-- コンストラクタ
a := d
a. r 　　-- *2　　select r2　　(r1 or r2)?