Semantic specification for example: PRIMER-16B

(EXAMPLE
    :NAME   PRIMER-16B
    :GENERATEDFORM   "The ship that is operational will sail to Pearl Harbor."
    :TARGETFORM   "The ship that is operational will sail to Pearl Harbor."
    :LOGICALFORM   
(E / SAIL :ACTOR
   (S / SHIP :DETERMINER THE :RELATIONS
      ((R1 / READINESS-STATUS :DOMAIN S :RANGE
           (R / OPERATIONAL)
           :TENSE PRESENT)))
   :DESTINATION
   (P / PORT :NAME PEARL-HARBOR)
   :TENSE FUTURE)
    :SET-NAME   |penman-primer|
)

Return to index.