Semantic specification for example: PRIMER-25
(EXAMPLE :NAME PRIMER-25 :GENERATEDFORM "For example, the ship sailed to Pearl Harbor." :TARGETFORM "For example, the ship sailed to Pearl Harbor." :LOGICALFORM (P1 / RST-ELABORATION-GENERAL-SPECIFIC :RANGE (E / SAIL :ACTOR (S / SHIP :DETERMINER THE) :DESTINATION (P2 / PORT :NAME PEARL-HARBOR) :TENSE PAST)) :SET-NAME |penman-primer| )