とりあえず、プログラムで主張を取り扱う以上、
ある文章がどんな命題を表しているのかを理解できる必要があるな。

まず、文章が正しい日本語であるかどうかを調べる（構文解析）。
日本語として正しい形式の文章は formal であると呼ぶことにしよう。

formal な例：
　「富士山は日本一高い山だ」
　「富士山は世界一高い山だ」
　「富士山の重さは赤い」
formal でない例：
　「富士山が日本一高く山は」
　「富士山あげらこばべるす」

ある文章 S が与えられたとき、S が formal であるかどうかを調べるには
主語や述語といった文法要素に分割、いわば日本語を「コンパイル」しなければならない。

しかし現状では専門の研究者でも会話文を文法要素に分割することに成功したという話は聞かない。