Semantic specification for example: PRIMER-37

(EXAMPLE
    :NAME   PRIMER-37
    :GENERATEDFORM   "The ship sailed to Pearl Harbor, in order to load fuel, then it loaded a truck."
    :TARGETFORM   "The ship sailed to Pearl Harbor, in order to load fuel, then it loaded a truck."
    :LOGICALFORM   
(R / RST-SEQUENCE :DOMAIN
   (P1 / RST-PURPOSE :DOMAIN
       (E / SAIL :ACTOR
          (S / SHIP :DETERMINER THE)
          :DESTINATION
          (P2 / PORT :NAME PEARL-HARBOR)
          :TENSE PAST)
       :RANGE
       (L1 / LOAD :ACTOR S :ACTEE
           (F / FUEL :NUMBER MASS)))
   :RANGE
   (L2 / LOAD :ACTOR S :ACTEE
       (T / TRUCK :DETERMINER A)
       :TENSE PAST))
    :SET-NAME   |penman-primer|
)

Return to index.