Semantic specification for example: PRIMER-21C
(EXAMPLE :NAME PRIMER-21C :GENERATEDFORM "The ship loaded a truck or a tank." :TARGETFORM "The ship loaded a truck or a tank." :LOGICALFORM (L / LOAD :ACTOR (S / SHIP :DETERMINER THE) :ACTEE (:OR (T1 / TRUCK :DETERMINER A) (T2 / TANK :DETERMINER A)) :TENSE PAST) :SET-NAME |penman-primer| )