Semantic specification for example: PRIMER-1B
(EXAMPLE
:NAME PRIMER-1B
:GENERATEDFORM "The Knox does not sail."
:TARGETFORM "The Knox does not sail."
:LOGICALFORM
(E / SAIL :ACTOR
(S / SHIP :NAME KNOX)
:SPEECHACT DENIAL)
:SET-NAME |penman-primer|
)