Semantic specification for example: PRIMER-21A
(EXAMPLE :NAME PRIMER-21A :GENERATEDFORM "Either the ship loaded a truck, or it loaded a tank." :TARGETFORM "Either the ship loaded a truck, or it loaded a tank." :LOGICALFORM (:OR (L1 / LOAD :ACTOR (S / SHIP :DETERMINER THE) :ACTEE (T / TRUCK :DETERMINER A) :TENSE PAST) (L2 / LOAD :ACTOR S :ACTEE (T / TANK :DETERMINER A) :TENSE PAST)) :SET-NAME |penman-primer| )