必死ないいわけの最後にとうとう、読み手に責任を押しつけたな。
(でもなんでそんなに必死に言い訳するんだ？)

ま、不毛な議論はこれくらいにして、もうちょっとましな説明文を考えてみるテスト。

「あるメソッド m の仮引数の型がクラス C であるとき、そのメソッド m には実引数として、
クラス C のインスタンスだけでなく、クラス C のサブクラスのインスタンスも渡すことができる。」

さっきのよりはマシじゃね？
「サブクラス」っていう用語は「直接のサブクラス」っていう用語と対にして、
先に定義しておかなきゃならんけど。