Semantic specification for example: COMP-SINGLE-PROP

(EXAMPLE
    :NAME   COMP-SINGLE-PROP
    :GENERATEDFORM   "The month was cooler than average."
    :TARGETFORM   "The month was cooler 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))
    :SET-NAME   COMPARATIVES
)

Return to index.