Semantic specification for example: EX-SET-20
(EXAMPLE :NAME EX-SET-20 :GENERATEDFORM "We were sent no response by Smith, except for him cancelling his account." :TARGETFORM "We were sent no response by Smith, except for him cancelling his account." :LOGICALFORM (SEND / DISPOSITIVE-MATERIAL-ACTION :LEX SEND :TENSE PAST :ACTOR (SMITH / MALE :NAME SMITH) :SPEAKER-ID US :PP-THEME US :THEME US :RECIPIENT (US / PERSON :NUMBER PLURAL) :ORDERING-Q BEFORE :ACTEE (MSG / OBJECT :LEX RESPONSE :DETERMINER NO) :CONTRASTIVE-EXTENSION-Q CONTRASTIVE :CONDITIONING-Q NONCONDITIONING :CONDITION (CAN / DISPOSITIVE-MATERIAL-ACTION :REPLACEMENT-Q NOTREPLACING :LEX CANCEL :COMMAND-OFFER-Q NOTCOMMANDOFFER :ACTOR SMITH :TYPICAL-PARTICIPANT-Q NOTTYPICALCLASS :ACTEE (ACCT / OBJECT :LEX ACCOUNT :OWNED-BY SMITH))) :SET-NAME |nigel-exerciseset| )