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