>>702　　>>738の訂正
class D inherit
　　　　　　B rename r as r1 end
　　　　　　C rename r as r2 select r2 end
feature
　　r is do ... end　　　-- *4
end

d: D ;　create d　　-- コンストラクタ
a: A
a := d
a. r 　　-- *3　　select r2　　(r1 or r2)?
スレ違いですみません。