Semantic specification for example: PRIMER-23
(EXAMPLE :NAME PRIMER-23 :GENERATEDFORM "The ship reported that it is inoperative." :TARGETFORM "The ship reported that it is inoperative." :LOGICALFORM (E / REPORT :SAYER (S / SHIP :DETERMINER THE) :SAYING (R / READINESS-STATUS :TENSE PRESENT :DOMAIN S :RANGE (I / INOPERATIVE)) :TENSE PAST) :SET-NAME |penman-primer| )