β=■
[削除規定]　Bindingの適用によって、■が派生category propertyに置き換えられる。その結果できた等式はLF意味素性として書き出される。(sec.8.1)
[継承規定]　主要部からでも非主要部からでも継承される。(sec.8.1)