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

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

  1. Gのシェマシステム S＝( G,σ, R) に対し，

    1. G＝( NＶ, TＶ, Ｐ, SEN) では，

      1. NＶに
          REL： 関係シェマ記号生成に関する
          FUN： 関数シェマ記号生成に関する

        を追加する。

      2. TＶに，〈，〉と
          rel ： 原初関係シェマ記号
          fun ： 原初関数シェマ記号

        を追加する。

      3. Ｐに，
          SEN → <TVR>(SEN)[TRM]
          SEN → REL
          REL → <TVR>(SEN)[]
          TRM → <TVR>(TRM)[TRM]
          TRM → FUN
          FUN → <TVR>(TRM)[]

        を追加する


    2. シェマ関数σに
        REL → REL
        FUN → FUN

      を追加する

    3. 代入規則Rに，つぎのものを追加する：

      1. 代入枠が TVRｘ， TVRｘに対する

        {(ｘ,ｘ)，････}

        であるとき，<ｘ> には <ｘ> を直接代入する．

      2. 代入枠が TRMｔ， TRMｔに対する

        {(ｔ,ｔ)，････}

        であるとき，[ｔ] には [ｔ] を直接代入する．


  2. Dに，“関係および関数における変項への定項の代入”を導入する規則：

      (R1) (sen)[trm] → (sen)[tvr↓trm]
      (R2) (trm)[trm] → (trm)[tvr↓trm]

    を追加する。

  3. Uの変更に対応して， U＝( S, D) を変更する。