述語
文、Ｐｒｏｌｏｇ、それぞれ、定義、文末、為、日本語、変数、主節、意味