Ils sont introduits par au moins un arc de substitution étiqueté xcomp vers le verbe de l' argument phrastique. Un autre arc est éventuellement présent pour l'introducteur que (csu), prépositionnel (prep), ou si (siwh) pour une interrogative indirecte.

Note : les verbes acceptant une infinitive objet sont normalement vus comme des modaux venant s'adjoindre sur le verbe objet considéré comme le verbe principal. Ce schéma est rompu pour les verbes acceptant un objet infinitif plus d'autres arguments (même non présents).

Note : La vue graphique de permet pas de repérer le contrôleur de l'infinitive. Pour cela, il faut examiner l'hypertag du verbe avec le champ ctrsubj.

En cas d'extraction dans l'argument phrastique, le verbe introduisant l'argument est adjoint sur celui-ci en S (à ne pas confondre avec le cas des modaux adjoints en V).

On a un cas spécial pour les causatives avec un sujet sur l'infinitive, en sachant que tous les cas de causatives ne sont pas couverts par FRMG. Les causatives sont caractérisées par une occurrence du lemme faire, un argument xcomp, un sujet inversé dans une phrastique infinitive, et éventuellement un arc causative_prep pour l'introducteur à. Au niveau de l'hypertag de faire, on a également arg1:kind = vcompcaus.

Mais on a des cas de causatives moins visibles:

Enfin, nous avons une construction particulière dite de citation autorisant un argument phrastique venant avant le verbe (et sans introducteur que). Il est à noter que les incises de citation ne sont pas traités par ce mécanisme, mais en tant qu'élément flottant dans la citation (voir Section 16.12).