Semantic specification for example: EX-SET-31
(EXAMPLE
:NAME EX-SET-31
:GENERATEDFORM "The reaction was going to have been monitored, because it was so important."
:TARGETFORM "The reaction was going to have been monitored because it was so important."
:LOGICALFORM
(RST / RST-NONVOLITIONAL-CAUSE :DOMAIN
(MONITOR / DISPOSITIVE-MATERIAL-ACTION :LEX MONITOR :SPEECH-ACT-ID
(SA / SPEECH-ACT :SPEAKING-TIME-ID
(ST / TIME :PRECEDE-Q
(ST RT1)
NOTPRECEDES :TIME-IN-RELATION-TO-SPEAKING-TIME-ID
(RT1 / TIME :PRECEDE-Q
(RT1 ST)
PRECEDES :PRECEDE-Q
(RT1 RT2)
PRECEDES)
:TIME-IN-RELATION-ID
(ST ET RT1)
(RT2 / TIME :PRECEDE-Q
(RT2 RT1)
NOTPRECEDES :PRECEDE-Q
(RT2 ET)
NOTPRECEDES)
:TIME-IN-RELATION-ID
(ST ET RT2)
ET))
:EVENT-TIME
(ET / TIME :PRECEDE-Q
(ET RT2)
PRECEDES)
:ACTEE
(REACT / NONDIRECTED-ACTION :LEX REACTION :DETERMINER THE))
:RANGE
(PROPERTY / PROPERTY-ASCRIPTION :DOMAIN REACT :RANGE
(IMPORT /
(EVALUATIVE-QUALITY SCALABLE-QUALITY)
:SCALING-Q SCALED :PROCESS-Q PROCESS :MAXIMUM-Q
NONMAXIMUM :MARKED-PROPERTY-Q MARKED :LEX
IMPORTANT)
:TENSE PAST))
:SET-NAME |nigel-exerciseset|
)