この特徴が、どのようなものに役に立つかと申しますと、 (1) と (3) は 効率的な表現 に、 (2) は物事の 関係付け に、 (3) と (4) は、プログラムなどの 分類 に 役立ちます。 また、(5) によって、 Quixote は演繹推論ばかりではなく、 仮説推論 もできることが分かります。

これらを具体的に説明する前に、今回の例題を説明しましょう。