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