Semantic specification for example: PRIMER-20A
(EXAMPLE
:NAME PRIMER-20A
:GENERATEDFORM "The ship loaded an inoperative truck."
:TARGETFORM "The ship loaded an inoperative truck."
:LOGICALFORM
(L / LOAD :ACTOR
(S / SHIP :DETERMINER THE)
:ACTEE
(T / TRUCK :DETERMINER A :READINESS-STATUS
(R / INOPERATIVE))
:TENSE PAST)
:SET-NAME |penman-primer|
)