先ほど属性項を説明した時に、りんごの 「色は赤、バラ科の一種、産地は長野県と青森県」という属性は、 OHP のりんごの絵の右側にあるように、記述されることを説明しました。

Quixote では、 ドット項 という 「オブジェクト項、ピリオド、属性名」からなる項を使って、 属性を包摂制約に書き換えられます。例えば、先ほど挙げた例は 矢印の下のように書き換えられます。

この変換によって、全ての属性項は包摂制約に書き換えられ、 Quixote は包摂制約に基づいた制約論理型言語と 考えられます。