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