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