Perfect with Double Infinitive

With a modal plus another infinitive, the infinitive replaces the past participle: hat arbeiten müssen. The pattern also applies to sehen, hören, lassen. In subordinate clauses, finite haben stands in the final verbal complex directly before the infinitive cluster. Without a second infinitive, ordinary participles such as gemusst, gesehen, gelassen appear.

German example map

Rule	German example
modal + lexical verb	Sie hat länger arbeiten müssen.
subordinate order	..., weil sie länger hat arbeiten müssen.
lassen + infinitive	Er hat das Fahrrad reparieren lassen.
subordinate lassen	..., weil er das Fahrrad hat reparieren lassen.
perception sehen	Wir haben die Kinder draußen spielen sehen.
perception hören	Ich habe jemanden an die Tür klopfen hören.
ordinary participle of lassen	Er hat die Tasche zu Hause gelassen.
ordinary participle of sehen	Wir haben den Film gesehen.
minimal pair	Sie hat gehen müssen. – Sie hat heute ins Büro gemusst.
main/subordinate pair	Er hat kommen können. – ..., weil er hat kommen können.