########## ANFÜGEN VON INFINITEN AUXILIAREN #######################
#
RULE inf_aux
#
# 1.
#
# Die folgende Regel kombiniert einen Satzanfang der ein Form von
# "werden oder ein Modalverb und ein Partizip II enthält mit dem
# Infinitiv von "haben" oder "sein", wobei die Kategorien vom Partizip
# II und vom Infinitiv von "haben" oder "sein" miteinander kongruieren
# müssen. Übrig bleibt nur die Verbkategorie.
#
  #      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
#
# 2.
#
# Die folgende Regel kombiniert einen schon fertigen Satz im Zustands-
# passiv mit "worden" und macht daraus ein Vorgangspassiv.
#
  #      START       NEXT       RESULT
  surf:  "${OS}"     "worden"   "${OS}
                                 worden"
  cats:  "V"         "IR        "V"
                      WP"
  sem:   "${PRAES}   "werden"   "${PRAES}
          zpass.*"               perf-vpass"
         "${PRAET}   "werden"   "${PRAET}
          zpass.*"               plusquamperf-vpass"
  rules: ende
#
# 3.
#
# Die folgende Regel kombiniert einen schon fertigen Satz im Zustands-
# passiv mit "gewesen" und macht daraus wieder ein Zustandspassiv.
#
  #      START       NEXT        RESULT
  surf:  "${OS}"     "gewesen"   "${OS}
                                  gewesen"
  cats:  "V"         "NA         "V"
                     S
                     S"
  sem:   "${PRAES}   "sein"      "${PRAES}
          zpass.*"                perf-zpass"
         "${PRAET}   "sein"      "${PRAET}
          zpass.*"                plusquamperf-zpass"
  rules: ende
#
# 4.
#
# Die folgende Regel kombiniert einen schon fertigen Satz im Vorgangs-
# passiv mit "werden" und macht daraus das Futur I des Vorgangspassiv.
#
  #      START        NEXT         RESULT
  surf:  "${OS}"      "werden"     "${OS}
                                    werden"
  cats:  "V"          "P13         "V"
                       NA
                       W
                       ${PX}
                       V"
  sem:   "${PRAES}    "werden.*"   "${PRAES}
          vpass.*"                  fut-I-vpass"
         "${KONJ_2}   "werden.*"   "${KONJ_2}
          vpass.*"                  konjunktiversatz"
  rules: ende
#
# 5.
#
# Die folgende Regel kombiniert einen Satzanfang der ein Modalverb
# enthält mit "werden" und macht daraus einen Modalverbkomplex mit dem
# Infinitiv Präsens des Vorgangspassiv.
#
  #      START     NEXT         RESULT
  surf:  "${OS}"   "werden"     "${OS}
                                 werden"
  cats:  "MV       "P13         "V"
          V"        NA
                    W
                    ${PX}
                    V"
  sem:   "${SS}"   "werden.*"   "${SS} mit inf-präs-vpass"
  rules: ende
#
# 6.
#
# Die folgende Regel kombiniert einen schon fertigen Satz im Vorgangs-
# passiv mit "sein" und macht daraus das Futur I des Zustandspassiv.
#
  #      START        NEXT     RESULT
  surf:  "${OS}"      "sein"   "${OS}
                                sein"
  cats:  "V"          "I       "V"
                       NA
                       S
                       ${PX}
                       V"
  sem:   "${PRAES}    "sein"   "${PRAES} fut-I-zpass"
          vpass.*"
         "${KONJ_2}   "sein"   "${KONJ_2} konjunktiversatz"
          vpass.*"
  rules: ende
#
# 7.
#
# Die folgende Regel kombiniert einen Satzanfang der ein Modalverb
# enthält mit "sein" und macht daraus einen Modalverbkomplex mit dem
# Infinitiv Präsens des Zustandspassiv.
#
  #      START     NEXT     RESULT
  surf:  "${OS}"   "sein"   "${OS} sein"
  cats:  "MV       "I       "V"
          V"        NA
                    S
                    ${PX}
                    V"
  sem:   "${SS}"   "sein"   "${SS}
                             mit inf-präs-zpass"
  rules: ende
#
# 8.
#
# Die folgende Regel kombiniert einen schon fertigen Satz im Vorgangs-
# passiv mit "worden" und macht daraus fast das Futur II des Vorgangs-
# passiv, es muß nur noch durch den Abschnitt 12. dieser Regel ausge-
# führt werden.
#
  #      START        NEXT       RESULT
  surf:  "${OS}"      "worden"   "${OS}
                                  worden"
  cats:  "V"          "IR        "I
                       WP"        S
                                  V"
  sem:   "${PRAES}    "werden"   "${PRAES}
          vpass.*"                fut-II-vpass"
         "${KONJ_2}   "werden"   "${KONJ_2}
          vpass.*"                konjunktiversatz"
  rules: inf_aux
#
# 9.
#
# Die folgende Regel kombiniert einen Satzanfang der ein Modalverb
# enthält mit "worden" und macht daraus fast einen Modalverbkomplex
# mit dem Infinitiv Perfekt des Vorgangspassiv, es muß nur noch durch
# den Abschnitt 12. dieser Regel ausgeführt werden.
#
  #      START     NEXT       RESULT
  surf:  "${OS}"   "worden"   "${OS}
                               worden"
  cats:  "MV       "IR        "I
          V"        WP"        S
                               V"
  sem:   "${SS}"   "werden"   "${SS}
                               mit inf-perf-vpass"
  rules: inf_aux
#
# 10.
#
# Die folgende Regel kombiniert einen schon fertigen Satz im Vorgangs-
# passiv mit "gewesen" und macht daraus das fast das Futur II des
# Zustandspassiv, es muß nur noch durch den Abschnitt 12. dieser Regel
# ausgeführt werden.
#
  #      START        NEXT        RESULT
  surf:  "${OS}"      "gewesen"   "${OS}
                                   gewesen"
  cats:  "V"          "NA         "I
                       S           S
                       S"          V"
  sem:   "${PRAES}    "sein"      "${PRAES}
          vpass.*"                 fut-II-zpass"
         "${KONJ_2}   "sein"      "${KONJ_2}
          vpass.*"                 konjunktiversatz"
  rules: inf_aux
#
# 11.
#
# Die folgende Regel kombiniert einen Satzanfang der ein Modalverb
# enthält mit "gewesen" und macht daraus fast einen Modalverbkomplex
# mit dem Infinitiv Perfekt des Zustandspassiv, es muß nur noch durch
# den Abschnitt 12. dieser Regel ausgeführt werden.
#
  #      START     NEXT        RESULT
  surf:  "${OS}"   "gewesen"   "${OS}
                                gewesen"
  cats:  "MV       "NA         "I
          V"        S           S"
                    S"          V
  sem:   "${SS}"   "sein"      "${SS}
                                mit inf-perf-zpass"
  rules: inf_aux
#
# 12.
#
# Die folgende Regel kombiniert die Ergebnisse aus den Abschnitten 8.,
# 9., 10. und 11. noch mit "sein".
#
  #      START     NEXT     RESULT
  surf:  "${OS}"   "sein"   "${OS}
                             sein"
  cats:  "I        "I       "V"
          S         NA
          V"        S
                    ${PX}
                    V"
  sem:   "${SS}"   "sein"   "${SS}"
  rules: ende
#
END # inf_aux