Semantic specification for example: EX-SET-35
(EXAMPLE
:NAME EX-SET-35
:GENERATEDFORM "Previously, the data had been going to be sent by computer from the zoos, so that they occupied one database."
:TARGETFORM "Previously, the data had been going to be sent by computer from the zoos so that they occupied one database."
:LOGICALFORM
(SEND / RST-PURPOSE :CONJUNCTIVE-RELATION-Q CONJUNCTIVE
:CONJUNCTIVE-RELATION-ID
(RR / RHETORICAL-RELATION)
:PROCESS-REGULATED-Q PROCESSREGULATED :NECESSITY-Q NONECESSITY
:SEQUENCE-Q NOTSEQUENCE :PRESENTATION-Q NOTPRESENTATIONAL
:TIME-RELATION-Q TIMERELATION :TIME-PRECEDENCE-Q PRECEDENCE
:TIME-PRECEDE-Q NOTSUBSEQUENT :TIME-SEPARATION-Q SEPARATE
:SMALL-SEPARATION-Q SMALL :THEME DATA :PP-THEME DATA :DOMAIN
(D / DISPOSITIVE-MATERIAL-ACTION :LEX SEND :THEME DATA :PP-THEME
DATA :ACTOR
(COMPUTER / OBJECT :LEX COMPUTER :IDENTIFIABILITY-Q
NOTIDENTIFIABLE :SINGULARITY-Q NONSINGULAR)
:ACTEE
(DATA / ABSTRACTION :LEX DATUM :NUMBER PLURAL)
:SPEECH-ACT-ID
(SA / SPEECH-ACT :SPEAKING-TIME-ID
(ST / TIME :TIME-IN-RELATION-TO-SPEAKING-TIME-ID
(RT1 / TIME :PRECEDE-Q
(RT1 ST)
PRECEDES :PRECEDE-Q
(RT1 RT2)
NOTPRECEDES)
:TIME-IN-RELATION-ID
(ST ET RT1)
(RT2 / TIME :PRECEDE-Q
(RT2 RT1)
PRECEDES :PRECEDE-Q
(RT2 ET)
PRECEDES)
:TIME-IN-RELATION-ID
(ST ET RT2)
ET :PRECEDE-Q
(ST RT1)
NOTPRECEDES))
:EVENT-TIME
(ET / TIME :PRECEDE-Q
(ET RT2)
NOTPRECEDES)
:SOURCE
(ZOO / OBJECT :LEX ZOO :NUMBER PLURAL :DETERMINER THE))
:RANGE
(OCCUPY / DISPOSITIVE-MATERIAL-ACTION :LEX OCCUPY :TENSE PAST
:ACTOR
(DATA / ABSTRACTION :PRONOUN THEY)
:ACTEE
(DB1 / ABSTRACTION :LEX DATABASE :DETERMINER ONE)))
:SET-NAME |nigel-exerciseset|
)