Semantic specification for example: PRIMER-33A

(EXAMPLE
    :NAME   PRIMER-33A
    :GENERATEDFORM   "Part of the fleet sails to Pearl Harbor with the Kennedy."
    :TARGETFORM   "Part of the fleet sails to Pearl Harbor with the Kennedy."
    :LOGICALFORM   
(E / SAIL :ACTOR
   (O / PART :NUMBER MASS :IDENTIFIABILITY-Q NOTIDENTIFIABLE :DOMAIN
      (F / FLEET :DETERMINER THE))
   :DESTINATION
   (P / PORT :NAME PEARL-HARBOR)
   :INCLUSIVE
   (S / SHIP :NAME KENNEDY))
    :SET-NAME   |penman-primer|
)

Return to index.