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

Return to index.