Semantic specification for example: COMP-DOUBLE-PROP2

(EXAMPLE
    :NAME   COMP-DOUBLE-PROP2
    :GENERATEDFORM   "The month was cooler and more temperate than average."
    :TARGETFORM   "The month was cooler and more temperate than average."
    :LOGICALFORM   
(L / GREATER-THAN-COMPARISON :TENSE PAST :COMMAND-OFFER-Q
   NOTCOMMANDOFFER :PROPOSAL-Q NOTPROPOSAL :DOMAIN
   (M / ONE-OR-TWO-D-TIME :LEX MONTH :DETERMINER THE)
   :STANDARD
   (A / QUALITY :LEX AVERAGE :DETERMINER ZERO)
   :RANGE
   ((C / SENSE-AND-MEASURE-QUALITY :LEX COOL) 
    (D / SENSE-AND-MEASURE-QUALITY :LEX TEMPERATE)))
    :SET-NAME   COMPARATIVES
)

Return to index.