Semantic specification for example: PRIMER-2C
(EXAMPLE
:NAME PRIMER-2C
:GENERATEDFORM "Sail to Pearl Harbor!"
:TARGETFORM "Sail to Pearl Harbor!"
:LOGICALFORM
(E / SAIL :ACTOR
(S / SHIP :NAME KNOX)
:DESTINATION
(P / PORT :NAME PEARL-HARBOR)
:SPEECHACT IMPERATIVE)
:SET-NAME |penman-primer|
)