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|
)

Return to index.