Semantic specification for example: EX-SET-17
(EXAMPLE
:NAME EX-SET-17
:GENERATEDFORM "You send me everything after Wednesday."
:TARGETFORM "You send me everything after Wednesday."
:LOGICALFORM
(SEND / DISPOSITIVE-MATERIAL-ACTION :LEX SEND :SPEECHACT IMPERATIVE
:EXPRESS-HEARER-Q EXPRESSHEARER :ORDERING-Q BEFORE :ACTOR
(HEARER / PERSON)
:RECIPIENT
(SPEAKER / PERSON)
:ACTEE
(E / NON-CONSCIOUS-THING :EMPTY-NUMBER-Q EMPTY
:EMPTY-GENDER-MULTIPLICITY-Q EMPTY :SET-TOTALITY-Q TOTAL
:SET-TOTALITY-POLARITY-Q POSITIVE)
:POSTERIOR
(D / TIME-INTERVAL :NAME WEDNESDAY))
:SET-NAME |nigel-exerciseset|
)