Semantic specification for example: PRIMER-20C
(EXAMPLE :NAME PRIMER-20C :GENERATEDFORM "The ship loaded a truck, and it was inoperative." :TARGETFORM "The ship loaded a truck, and it was inoperative." :LOGICALFORM (C1 / CONJUNCTION :DOMAIN (L / LOAD :ACTOR (S / SHIP :DETERMINER THE) :ACTEE (T / TRUCK :DETERMINER A) :TENSE PAST) :RANGE (Q / READINESS-STATUS :DOMAIN T :RANGE (R / INOPERATIVE) :TENSE PAST)) :SET-NAME |penman-primer| )