統語カテゴリーに意味タイプを割り当てた後で、ＰＴＱのように、ここに翻訳規則は設定されない。まず、カテゴリーＣの語彙項目（α）の翻訳が（16）の部分木により認可される。*
（16） Ｃ，α‘
↓
α
次に、Ｃラベルの接点の娘の翻訳を結ぶ際に、（16）のタイプ駆動の方式が採用されている。*
（17）α∈ＭＥ（a, b）, β∈ME a, →α（β）∈ME ｂ
（17）は、α、βがそれぞれ意味タイプ＜a, b＞、＜a＞を持つILの有意表現ならば、α（β）は、bタイプの有意表現となることを示している。例えば、（15）のS、NP、VPタイプのILへの翻訳は、（18）となる。
（18）1 FR：（S, {NP‘, VP‘}m）={ VP‘（NP）}
2 FR：（NP, {Det‘, N‘}m）={ Det‘（N）}
3 FR：（VP, {V[2]‘, NP‘}m）={ V[2]‘（NP）}
花村嘉英（2022）「モンタギュー文法からGPSGへ－イディオムの構成性をめぐるモデル理論の修正」より