「角２が８０度なら」は、仮説です。つまり、 Quixote では このような仮説付き問い合わせを処理できます。

"?-" で始まるものが Quixote で記述された問合せです。 そのうち、四角で囲まれた部分が仮説を表しています。

この仕組みは、データベースを作った後に「角２が８０度」が分かった時、 四角形ａの形を知りたい場合にも使えます。