Semantic specification for example: EX-SET-42

(EXAMPLE
    :NAME   EX-SET-42
    :GENERATEDFORM   "The new system is more reliable than the old one, except that I do not know if it has a warranty."
    :TARGETFORM   "The new system is more reliable than the old one, except that I do not know if it has a warranty."
    :LOGICALFORM   
(COMPARE / GREATER-THAN-COMPARISON :TENSE PRESENT :COMMAND-OFFER-Q
         NOTCOMMANDOFFER :PROPOSAL-Q NOTPROPOSAL :EXCEED-Q
         (COMPARE OLDSYSTEM)
         EXCEED :DOMAIN
         (NEWSYSTEM / OBJECT :LEX SYSTEM :AGE-PROPERTY-ASCRIPTION
                    (NEW / AGE :LEX NEW)
                    :DETERMINER THE)
         :STANDARD
         (OLDSYSTEM / OBJECT :MINIMAL-ATTENTION-Q MINIMAL
                    :SEMANTIC-COVERAGE-Q COVERED
                    :AGE-PROPERTY-ASCRIPTION
                    (OLD / AGE :LEX OLD)
                    :DETERMINER THE)
         :RANGE
         (EFF / BEHAVIORAL-QUALITY :LEX RELIABLE)
         :CONDITIONING-Q NONCONDITIONING :CONTRASTIVE-EXTENSION-Q
         CONTRASTIVE :CONDITION
         (KNOW / KNOW :SENSER
               (SPEAKER / PERSON)
               :TENSE PRESENT :POLARITY-VALUE-Q NEGATIVE
               :COGNITIVE-PHENOMENON-Q NOTPHENOMENON :PHENOMENON
               (HAVE / OWNERSHIP :PROPOSAL-Q NOTPROPOSAL
                     :DEFINITE-TRUTH-VALUE-Q INDEFINITE
                     :POLARITY-OPENNESS-Q OPEN :IF-WHETHER-Q IF :DOMAIN
                     (NEWSYSTEM / OBJECT :PRONOUN IT)
                     :RANGE
                     (WARRANTY / ABSTRACTION :LEX WARRANTY :DETERMINER
                               A))))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.