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