Up 6.4.2 文/テクスト変形システム  

　Gの上の文変形システムU＝(S,D) を，以下のように変更する：

  1. Gのシェマシステム S＝( G,σ, R) に対し， G＝( NＶ, TＶ, Ｐ, SEN) では，

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


  2. Dは，述語論理のDに，つぎの等号の規則を追加する：

    (E1) 　 (trm＝trm1) → (trm1＝trm)


  3. U＝( S, D) では，
    1. Sの変更に対応して Sを変更する。
    2. 述語論理のDに，Dから導かれる変形規則の他に，等号の規則：

        (E2) ε → trm＝trm
        (E3) “trm＝trm1 と trm1＝trm2 から trm＝trm2 が導かれる”

      を追加する。