Semantic specification for example: PRIMER-1A
(EXAMPLE
:NAME PRIMER-1A
:GENERATEDFORM "The Knox sails."
:TARGETFORM "The Knox sails."
:LOGICALFORM
(E / SAIL :ACTOR
(S / SHIP :NAME KNOX))
:SET-NAME |penman-primer|
)