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| )