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