関数実現（Functional Realization: FR）は、タイプaとマルチセットS（有限回繰り返される同一要素を含む集合）を入力都市、関数適用の際、要素の複数買いの使用を禁止する制限およびタイプaのILの適切な表現を条件とする集合が出力となる。* こうして（10）のID規則、それに対するLP規則、素性に関する諸条件、（15）のタイプ割り当ておよびタイプ駆動の翻訳を経て、（11‘‘）の木が認可される。
（11‘‘） S, lesen‘(ein‘(Buch‘))(ein‘(Mann‘))
△
NP, ein‘(Mann‘) VP, lesen‘ (ein‘(Buch‘))
△ △
Det, ein‘ N1, Mann‘ V [2], lesen‘ NP, ein‘(Buch‘)
｜ △
Ein N[1], Mann‘ liest Det, ein‘ N1, Buch‘
ein ｜
N[1], Buch‘,
Buch
花村嘉英（2022）「モンタギュー文法からGPSGへ－イディオムの構成性をめぐるモデル理論の修正」より