セクション＝記述単位

セクションという呼び名が適切かどうか分からない（暫定）だが、そう呼ぶとして、セクションの構成素は：

1. 背景指標 Γ
2. 新規導入指標 Σ
3. 定義済み指標 Δ
4. 構成手続き φ : Γ+Σ → Δ

セクションから、次の構成手続きも出来る。

• φ': Γ+Σ → Γ+Δ

Σは、次の可能性がある。

1. 公理＝未定義要請
2. 後回し
3. 予想、作業仮説
4. ギャップ、ミス

これらはアノテーションで補足する情報だろう。

1. @axiom
2. @deferred
3. @conjecture
4. @hypothesis
5. @gap

セクションには、他に次のものが含まれる。

1. ナラティヴ〈自然言語記述〉
2. 用語定義
3. 記法定義

特に記法定義は重要で、その記法の利用スコープ（文法の適用範囲）でのトークナイズ／パージングに使用される。