Up 6.4.1 文生成システム  

　述語論理の土台となる文生成システムG＝(NＶ,TＶ,Ｐ,SEN) を，以下のように変更する：
  1. TＶに，等号
    ＝
    を追加する。

  2. Ｐに，
    SEN → (TRM)＝(TRM)
    を追加する。