Semantic specification for example: EX-SET-9
(EXAMPLE :NAME EX-SET-9 :GENERATEDFORM "The Japanese people will have been manufacturing RAM chips or the sort of tape that displays images by computer." :TARGETFORM "The Japanese people will have been manufacturing RAM chips or the sort of tape that displays images by computer." :LOGICALFORM (M / NONDIRECTED-ACTION :LEX MANUFACTURE :SPEECH-ACT-ID (SA / SPEECH-ACT :SPEAKING-TIME-ID (ST / TIME :TIME-IN-RELATION-TO-SPEAKING-TIME-ID (RT / TIME :PRECEDE-Q (RT ST) NOTPRECEDES :PRECEDE-Q (RT ET) NOTPRECEDES) :TIME-IN-RELATION-ID (ST ET RT) (R2T / TIME :PRECEDE-Q (RT R2T) NOTPRECEDES :PRECEDE-Q (R2T RT) PRECEDES :PRECEDE-Q (R2T ET) NOTPRECEDES) :PRECEDE-Q (ST RT) PRECEDES)) :EVENT-TIME (ET / TIME :PRECEDE-Q (ET ST) NOTPRECEDES :PRECEDE-Q (ET RT) NOTPRECEDES) :ACTOR (P1 / OBJECT :LEX PERSON :NUMBER PLURAL :DETERMINER THE :PROVENANCE-PROPERTY-ASCRIPTION (J / QUALITY :LEX JAPANESE)) :ACTEE (:OR (CC / OBJECT :LEX CHIP-COMPUTER :NUMBER PLURAL :PROPERTY-ASCRIPTION (Q3 / QUALITY :LEX RAM-COMPUTER)) (T / OBJECT :LEX TAPE :NUMBER MASS :IDENTIFIABILITY-Q NOTIDENTIFIABLE :ELEMENT-OF (S / ORDERED-SET :LEX SORT :NUMBER SINGULAR :DETERMINER THE) :PROCESS (D / DIRECTED-ACTION :LEX DISPLAY-VERB :TENSE PRESENT :ACTOR (T / OBJECT :EMPTY-NUMBER-Q EMPTY :IDENTIFIABILITY-Q IDENTIFIABLE) :ACTEE (I / OBJECT :LEX IMAGE :NUMBER PLURAL) :ENABLEMENT (C / OBJECT :LEX COMPUTER :NUMBER MASS))))) :SET-NAME |nigel-exerciseset| )