DRAFTER2-12

(EXAMPLE
     :NAME                   DRAFTER2-12
     :GENERATEDFORM          "...failed to generate..."
     :GLOSS                  ( :ENGLISH NIL)
     :TARGETFORM             "If there is a document with the same name..."
     :LOGICALFORM
     (S0 / RST-LOGICAL-CONDITION
          :DISJUNCTIVE-EXTENSION-Q DISJUNCTIVE
          :DOMAIN
          (I / NON-ADDRESSEE-ORIENTED-VERBAL-PROCESS
               :LEX ASK
               :SAYER
               (MSW1 / DECOMPOSABLE-OBJECT
                    :NAME MS-WORD )

               :SAYING
               (S1 / WANTING
                    :CONJUNCTIVE-EXTENSION-Q NONCONJUNCTIVE
                    :DISJUNCTIVE-EXTENSION-Q DISJUNCTIVE
                    :DEFINITE-TRUTH-VALUE-Q INDEFINITE
                    :POLARITY-OPENNESS-Q OPEN
                    :IF-WHETHER-Q IF
                    :SENSER (HEARER / PERSON )
                    :PHENOMENON
                    (REP1 / DISPOSITIVE-MATERIAL-ACTION
                         :LEX REPLACE
                         :ACTOR HEARER
                         :ACTEE
                         (DOC1 / DECOMPOSABLE-OBJECT
                              :LEX DOCUMENT
                              :DETERMINER THIS )
                         )
                    )
               )

          :RANGE
          (EXIST / EXISTENCE
               :TENSE PRESENT
               :PARTICIPANT
               (DOC1 / DECOMPOSABLE-OBJECT
                    :LEX DOCUMENT
                    :DETERMINER A
                    :PROPERTY-ASCRIPTION
                    (EX1 / QUALITY
                         :LEX EXISTING )
                    )

               :SPATIAL-LOCATING
               (SF1 / DECOMPOSABLE-OBJECT
                    :LEX DIRECTORY
                    :DETERMINER THE
                    :PROPERTY-ASCRIPTION
                    (SAME1 / QUALITY
                         :LEX CURRENT )
                    )

               :INCLUSIVE
               (SN1 / DECOMPOSABLE-OBJECT
                    :LEX NAME
                    :DETERMINER THE
                    :PROPERTY-ASCRIPTION
                    (Q1 / QUALITY
                         :LEX SAME )
                    )
               )

          :THEME EXIST )
     :SET-NAME               |isolde1|
     )

Return to index.