Semantic specification for example: PRIMER-2A
(EXAMPLE :NAME PRIMER-2A :GENERATEDFORM "The Knox sails to Pearl Harbor." :TARGETFORM "The Knox sails to Pearl Harbor." :LOGICALFORM (E / SAIL :ACTOR (S / SHIP :NAME KNOX) :DESTINATION (P / PORT :NAME PEARL-HARBOR)) :SET-NAME |penman-primer| )