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| )