Semantic specification for example: EX-SET-64

(EXAMPLE
    :NAME   EX-SET-64
    :GENERATEDFORM   "Despite improvements, there will not be any important American components, will there?"
    :TARGETFORM   "Despite improvements, there will not be any important American components, will there?"
    :LOGICALFORM   
(E / EXISTENCE :TENSE FUTURE :POLARITY NEGATIVE :THEME I :DOMAIN
   (C / THING :LEX COMPONENT :NUMBER PLURAL :DETERMINER ANY
      :PROPERTY-ASCRIPTION
      (IMPORT / EVALUATIVE-QUALITY :LEX IMPORTANT)
      :PROVENANCE-PROPERTY-ASCRIPTION
      (NEWS-PROVENANCE / PROVENANCE-CLASS-QUALITY :LEX AMERICAN))
   :CONCESSIVE
   (I / THING :LEX IMPROVEMENT :NUMBER PLURAL)
   :CONFIRMATION-REQUEST-Q CONFIRMATIONREQUEST)
    :SET-NAME   |nigel-exerciseset|
)

Return to index.