Semantic specification for example: EX-SET-24
(EXAMPLE
:NAME EX-SET-24
:GENERATEDFORM "He will have been going to have sent those seventy five PCs for forty days on Wednesday."
:TARGETFORM "He will have been going to have sent those seventy five PCs for forty days on Wednesday."
:LOGICALFORM
(SEND / DISPOSITIVE-MATERIAL-ACTION :LEX SEND :SPEECH-ACT-ID
(SA / SPEECH-ACT :SPEAKING-TIME-ID
(ST / TIME :TIME-IN-RELATION-TO-SPEAKING-TIME-ID
(RT1 / TIME :PRECEDE-Q
(ST RT1)
PRECEDES :PRECEDE-Q
(RT1 RT2)
NOTPRECEDES)
:TIME-IN-RELATION-ID
(ST ET RT1)
(RT2 / TIME :PRECEDE-Q
(RT2 RT1)
PRECEDES :PRECEDE-Q
(RT2 RT3)
PRECEDES)
:TIME-IN-RELATION-ID
(ST ET RT2)
(RT3 / TIME :PRECEDE-Q
(RT3 RT2)
NOTPRECEDES :PRECEDE-Q
(RT3 ET)
NOTPRECEDES)
:TIME-IN-RELATION-ID
(ST ET RT3)
ET :PRECEDE-Q
(ST RT1)
PRECEDES))
:EVENT-TIME
(ET / TIME :PRECEDE-Q
(ET RT3)
PRECEDES)
:ACTOR
(P / MALE :PRONOUN HE)
:ACTEE
(PC / OBJECT :LEX PC :QUANTITY 75 :DETERMINER THAT)
:TEMPORAL-EXTENT
(DAY / TIME-INTERVAL :LEX DAY :QUANTITY 40)
:TEMPORAL-NONORDERING
(W / ONE-OR-TWO-D-TIME :NAME WEDNESDAY))
:SET-NAME |nigel-exerciseset|
)