将来的には、自然言語文の全てを「形式化」する。例えばインフレ状態だ⇔物価が上がっている
⇔商品の値段が総じて高くなっている⇔（commodity　↑）。こうすればどんな言い換え表現も
同一に解釈できるようになるし、自動要約も簡単になるはずだ。