関数 conditionKey

条件（14節）の宣言に与える、言語によらない正準な鍵。

「同じ条件か」を、日本語の文（conditionWords）を経由せずに答える手立て。 文は読み手へ見せるためのもので、同一性の担い手にはできない——言い回しを変えるだけで、同じ条件が 別のものになってしまう。行の名前・生成物の値・文書がセルを名指す鍵は、こちらが担う。

鍵に出るのは定義が書いている識別子だけ（プロパティ・スロット・タグ・型の名前と、段の名前）。 前置記法で、空白を1つも含まない——引用印のセレクタ値（condition=...）が引用符なしで書ける。

畳み方は文と揃えてある——否定は葉まで押し下げ（ド・モルガンの法則）、子が1つだけの all・anyはその子そのものにする。揃えないと、同じ文になる条件に別の鍵が付き、見た目が 区別できない行が2つ並ぶ。