Semantic specification for example: PRIMER-34

(EXAMPLE
    :NAME   PRIMER-34
    :GENERATEDFORM   "As well as the Kennedy, the Knox sails to Pearl Harbor."
    :TARGETFORM   "As well as the Kennedy, the Knox sails to Pearl Harbor."
    :LOGICALFORM   
(E / SAIL :ACTOR
   (S1 / SHIP :NAME KNOX)
   :DESTINATION
   (P / PORT :NAME PEARL-HARBOR)
   :THEME A :RELATIONS
   (A / ADDITIVE :DOMAIN E :RANGE
      (S2 / SHIP :NAME KENNEDY)))
    :SET-NAME   |penman-primer|
)

Return to index.