次に、Ｃラベルの接点の娘の翻訳を結ぶ際に、（16）のタイプ駆動の方式が採用されている。*

（17）α∈ＭＥ（a, b）, β∈ME a, →α（β）∈ME ｂ

（17）は、α、βがそれぞれ意味タイプ＜a, b＞、＜a＞を持つILの有意表現ならば、α（β）は、タイプの有意表現となることを示している。例えば、（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）}

　関数実現（Functional Realization: FR）は、タイプaとマルチセットS（有限回繰り返される同一要素を含む集合）を入力都市、関数適用の際、要素の複数買いの使用を禁止する制限およびタイプaのILの適切な表現を条件とする集合が出力となる。*　こうして（10）のID規則、それに対するLP規則、素性に関する諸条件、（15）のタイプ割り当ておよびタイプ駆動の翻訳を経て、（11‘‘）の木が認可される。

（11‘‘）　　S, lesen‘(ein‘(Buch‘))(ein‘(Mann‘))
△　 NP, ein‘(Mann‘) Det, ein‘ N1, Mann‘ VP, lesen‘ (ein‘(Buch‘)) V [2], lesen‘ NP, ein‘(Buch‘)
Ein　　N[1], Mann‘ liest Det, ein‘ N1, Buch‘　ein N[1],Buch‘, Buch

花村嘉英（2022）「イディオム－モンタギュー文法からGPSGそしてHPSGへ」より