グロッサリーレコードの集合とリゾルバがあると、そこからレキシコンを作れる。
- 定義の出現をスキャンして、isDefinedIn:Term → Path 関係を作る。
- glossary: Term -> Descripton partial のグロッサリーがある。
- isResolvedTo: Path -> URL の関係がある。
- <glossary, isdefinedIn>: Term -> Descrition × Path を作る。
- (id_{Description} × Δ_{Path});(id × id× isResovedTo) を作る。
定義の出現スキャンと、グロッサリーレコードが抽出できればよい。それとは別に、グロッサリーを書いたもの。