Semantic specification for example: PRIMER-33B

(EXAMPLE
    :NAME   PRIMER-33B
    :GENERATEDFORM   "That part of the fleet sails to Pearl Harbor without the Kennedy."
    :TARGETFORM   "That part of the fleet sails to Pearl Harbor without the Kennedy."
    :LOGICALFORM   
(E / SAIL :ACTOR
   (O / PART-OF :DETERMINER THAT :RANGE
      (F / FLEET :DETERMINER THE))
   :DESTINATION
   (P / PORT :NAME PEARL-HARBOR)
   :EXCLUSIVE
   (S / SHIP :NAME KENNEDY))
    :SET-NAME   |penman-primer|
)

Return to index.