レゾルバとグロッサリーからレキシコン

グロッサリーレコードの集合とリゾルバがあると、そこからレキシコンを作れる。

1. 定義の出現をスキャンして、isDefinedIn:Term → Path 関係を作る。
2. glossary: Term -> Descripton partial のグロッサリーがある。
3. isResolvedTo: Path -> URL の関係がある。
4. <glossary, isdefinedIn>: Term -> Descrition × Path を作る。
5. (id_{Description} × Δ_{Path});(id × id× isResovedTo) を作る。

定義の出現スキャンと、グロッサリーレコードが抽出できればよい。それとは別に、グロッサリーを書いたもの。