ルール


Quixote のルールは以下の形をしています。

例えば、

四角形/[形 -> 平行四辺形] <= 四辺形/[角1=A, 角2=B, 角3=C, 角4=D]|{A=C, B=D} X/[楽器* =*= {violin,piano}] <= X/[種類=violin_sonata] サイダー/[原料=炭酸水]

などがルールです。

ルールラベル

ルール継承 の例外継承を指定します。

Quixote 構文の索引