＜xn, partitioning＞
[削除規定]　Predication素性 xn に対してPartitioningが適用されたら削除される。(sec.7.4)
[継承規定]　主要部からでも非主要部からでも継承される。(sec.7.4)