Semantic specification for example: PRIMER-45

(EXAMPLE
    :NAME   PRIMER-45
    :GENERATEDFORM   "That ship is in port because it is loading fuel."
    :TARGETFORM   "That ship is in port because it is loading fuel."
    :LOGICALFORM   
(R / RST-VOLITIONAL-CAUSE :DOMAIN
   (L1 / LOCATION :DOMAIN
       (S / SHIP :DETERMINER THAT)
       :RANGE
       (P /
          (PORT THREE-D-LOCATION)
          :NUMBER MASS))
   :RANGE
   (L2 / LOAD :ACTOR
       (S / SHIP)
       :ACTEE
       (F / FUEL :NUMBER MASS)
       :TENSE PRESENT-CONTINUOUS))
    :SET-NAME   |penman-primer|
)

Return to index.