Semantic specification for example: EX-SET-19
(EXAMPLE
:NAME EX-SET-19
:GENERATEDFORM "About the existence of your response, you can inform anybody by sending a message to the Nimitz, can't you?"
:TARGETFORM "About the existence of your response, you can inform anybody by sending a message to the Nimitz, can't you?"
:LOGICALFORM
(INF / ADDRESSEE-ORIENTED-VERBAL-PROCESS :LEX INFORM :SAYER
(HEARER / PERSON)
:MODAL-PROPERTY-ASCRIPTION
(MOD /
(NONCONDITIONAL ABILITY))
:PROPOSITIONALITY-Q PROPOSITIONAL :SAYING ?SAYING :ADDRESSEE
(ANY / CONSCIOUS-BEING :EMPTY-NUMBER-Q EMPTY
:EMPTY-GENDER-MULTIPLICITY-Q EMPTY :SET-TOTALITY-Q PARTIAL
:AMOUNT-ATTENTION-Q MINIMALATTENTION)
:THEME EXIST :PARAGRAPH-THEME-EXIST-Q
(INF)
NOTEXIST :SUBJECT-MATTER
(EXIST / OBJECT :DETERMINER THE :LEX EXISTENCE :PART-OF
(RESP / OBJECT :LEX RESPONSE :OWNED-BY
(HEARER / PERSON)))
:MANNER-CONDITION-Q MANNERCONDITION :MEANS-Q MEANS :MANNER
(SEND / DISPOSITIVE-MATERIAL-ACTION :TYPICAL-PARTICIPANT-Q
TYPICALCLASS :LEX SEND :ACTOR
(HEARER / PERSON)
:RECIPIENT
(S / SHIP :NAME NIMITZ)
:ACTEE
(MSG / OBJECT :LEX MESSAGE :DETERMINER A))
:CONFIRMATION-REQUEST-Q CONFIRMATIONREQUEST)
:SET-NAME |nigel-exerciseset|
)