Das Ziel der vorliegenden Arbeit besteht darin, lange und komplexe Satze in der technischen Dokumentation nach dem `propositionalen Textverarbeitungsmodell` von Kintsch (1974) zu analysieren und aufgrund ihrer hierarchischen semantischen Struktur im Rahmen der Kontrollierten Sprachen Restriktionsregeln aufzustellen, damit diese Regeln als Richtlinien fur technische Redakteure eingesetzt oder in einem kontrollierten Sprachchecker (CL-checker) implementiert werden konnen. Die Gegenstande der Analyse stammen aus koreanischen technischen Dokumentationen, welche haufig Probleme bei der Verstandlichkeit und der Ubersetzbarkeit verursachen. Sie werden in vier Typen aufgeteilt: Reihung mehrerer Satze bzw. `clauses`, Einbettung eines Substantivsatzes bzw. einer satzartigen Nominalphrase, Hineinfugung eines Satzes als Adjunkt und nicht-logische Relation zwischen Pradikat und seinem Argument. Diese Konstruktionen werden unter dem Begriff `Komplexpropositionen` aufgefasst und dann durch die Propositionenanalyse in die einzelnen Propositionen ausgefuhrt. Die hierarchischen semantischen Strukturen der Komplexpropositionen werden nach zwei Prinzipien fur die optimale Textproduktion in der Kontrollierten Sprache, namlich der `Simplizitat` und der `Struktur`, kontrolliert. Dabei werden folgende Schreibregeln aufgestellt: Erstens, durch die Restrukturierung soll es nur eine Proposition in einem Satz geben ("Eine Proposition pro Satz!"). Die untergeordneten Propositionen, die im Hauptsatz als Relativsatz, Adverbialsatz, Substantivsatz und Adjunkt fungieren, sollen im Prinzip in einem unabhangigen Satz ausgedruckt werden, dennoch werden einige davon unter Berucksichtigung der grammatischen Merkmale im ubergeordneten Satz beibehalten. Zu den grammatischen Merkmalen gehoren die folgenden: Ob das untergeordnete Pradikat mindestens ein Argument mit dem ubergeordneten Satz gemeinsam hat, ob es außer einem gemeinsamen Argument ein eigenes Argument bzw. eine eigene Bestimmung hat, und ob es zusatzlich in Bezug auf Tempus, Genus verbi und Honorifikation flektiert. Zweitens, die logische Beziehung zwischen einzelnen Propositionen soll mithilfe der Konjunktionen sowie Konnektoren explizit ausgedruckt werden ("Druck die logische Relation zwischen Satzen explizit aus!"). Diese Schreibregeln und ihre grammatischen Bedingungen werden dann als Restriktionsregel in der kontrollierten Grammatik formalisiert.