Semantic specification for example: PRIMER-14A
(EXAMPLE
:NAME PRIMER-14A
:GENERATEDFORM "A ship loads a truck."
:TARGETFORM "A ship loads a truck."
:LOGICALFORM
(E / LOAD :ACTOR
(S / SHIP)
:ACTEE
(T / TRUCK))
:SET-NAME |penman-primer|
)