Kind
[削除規定]　argument になったときに派生複合 value を作って削除される。(sec.7.1)
[継承規定]　主要部からでも非主要部からでも継承される。(sec.7.1)