lap(33  ) syn-mag> die menschen werden das schiff gesegelt haben

    RP: { start }
    FIRED: *start 

     [die (EN P-D P3 ) def_AP . menschen (M-N ) nom(mensch)]
    RP: { vorfeld_fverb  det_nomen  agens_im_passiv  praep_phrase }
    FIRED: *det_nomen 

     [die menschen (P3 )  . werden (P13 NA W V ) werden_pk1]
    RP: { vorfeld_fverb }
    FIRED: *vorfeld_fverb 

     [die menschen werden (W V ) werden_pk1 . das (E N-G A ) def_NS]
    RP: { fverb_objekt  werden_infverb  praep  gl_nom  adverb }
    FIRED: *fverb_objekt 

     [die menschen werden das (E N-G A W V ) werden_pk1 . schiff (N-G) nom(schiff)]
    RP: { det_nomen }
    FIRED: *det_nomen 

     [die menschen werden das schiff (A VV W V ) werden_pk1 . gesegelt (A VV HS ) segeln]
    RP: { werden_infverb  haben_sein_infverb  modal_verb_kompl  praep  inf_verb_kompl  part_verb_kompl }
    FIRED: *werden_infverb 

     [die menschen werden das schiff gesegelt (W HS V ) werden_pk1 fut-II-akt . haben (P13 A H V ) haben_pk1]
    RP: { inf_aux }
    FIRED: *inf_aux 

     [die menschen werden das schiff gesegelt haben (V ) werden_pk1 fut-II-akt . NIL]
    RP: {E: ende }
    FIRED: *ende 

     [die menschen werden das schiff gesegelt haben (Kernsatz ) werden_pk1 fut-II-akt . NIL]
    RP: NIL

("die menschen werden das schiff gesegelt haben" (Kernsatz ) werden_pk1 fut-II-akt)

Die links-assoziative Analyse ist bis auf einen Unterschied mit der in Kapitel 5.1.1.2. identisch. Dieser Unterschied besteht darin, daß hier das Auxiliar werden an der Stelle von haben steht, und daß dieses nicht mit einem infiniten Vollverb in der Form eines Partizip II, sondern in der Form eines Infinitiv Perfekt Aktiv verbunden wird. Daher wird auch nicht die Regel haben_sein_infverb, sondern die Regeln werden_infverb und inf_aux aufgerufen, die dann das infinite Vollverb in der Form eines Infinitiv Perfekt Aktiv an das Auxiliar werden anschließen.

RULE werden_infverb
#
  #      START         NEXT       RESULT
  surf:  "${OS}"       "${ON}"    "${OS}
                                   ${ON}"
  cats:  "${OBJ}       "${OBJ}    "W
          VV            ${VERB}    ${H_S}
          W             ${H_S}"    V"
          V"
  sem:   "${PRAES}"    "${SN}"    "${PRAES}
                                   fut-II-akt"
         "${KONJ_2}"   "${SN}"    "${KONJ_2}
                                   konjunktiversatz"
  rules: inf_aux
#
END # werden_infverb

Die Regel werden_infverb verlangt hier also im Satzanfang das finite Auxiliar werden und eine beliebige Anzahl von Objektergänzungen (auch keine) und im nächsten Wort ein Partizip II mit der gleichen Anzahl von Objektvalenzen. Ergänzungen und Valenzen müssen auch in der Form übereinstimmen. Zusätzlich muß wieder darauf geachtet werden, daß das finite Auxiliar werden nicht im Präteritum Indikativ Aktiv steht.

Wenn die Bedingungen der Regel werden_infverb erfüllt sind, und ein neuer Satzanfang erzeugt werden kann, bekommt dieser eine Kategorie, die angibt, daß es sich hier um einen Satzanfang mit dem finiten Auxiliar werden handelt, der noch mit dem Infinitiv von haben oder sein (das richtet sich nach dem Partizip II, welches zuvor gelesen wurde) verbunden werden muß. Das Regelpaket, das dann ausgewertet wird, bestimmt daher als mögliche Fortsetzung die Regel inf_aux, die den Infinitiv von haben oder sein anschließt, der den Infinitiv Perfekt Aktiv vervollständigt.

RULE inf_aux
#
  #      START      NEXT              RESULT
  surf:  "${OS}"    "${HABEN_SEIN}"   "${OS}
                                       ${HABEN_SEIN}"
  cats:  "${W_MV}   "${INF}           "V"
          ~{H_S}     .*
          V"         ${H_S}
                     ${PX}
                     V"
  sem:   "${SS}"    "${SN}"           "${SS}"
  rules: ende
#
END # inf_aux

Die Regel inf_aux verlangt im Satzanfang das finite Auxiliar werden, das noch mit dem Infinitiv von haben oder sein verbunden werden muß und im nächsten Wort den Infinitiv von haben oder sein. Dann kann der Satzanfang mit dem nächsten Wort kombiniert, und ein neuer Satzanfang erzeugt werden. Zum Schluß kommt nur noch die Endregel ende, die feststellt, daß es sich hier um ein fertigen Satz mit einem kompletten Verbalkomplex handelt, und daß kein nächstes Wort mehr folgt.