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|
)

Return to index.