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

Return to index.