属性は包摂制約として書き換えることができる。

色=赤
科 -> バラ
産地* >* {長野県,青森県}

オブジェクト項.属性名

ドット項

リンゴ.色=赤
リンゴ.科 -< バラ
リンゴ.産地* >* {長野県,青森県}