Semantic specification for example: PRIMER-41B

(EXAMPLE
    :NAME   PRIMER-41B
    :GENERATEDFORM   "The readiness of the ship is C4."
    :TARGETFORM   "The readiness of the ship is C4."
    :LOGICALFORM   
(I / UM-IDENTITY :DOMAIN
   (R / READINESS-STATUS :DOMAIN
      (S / SHIP :DETERMINER THE)
      :DETERMINER THE)
   :RANGE
   (C4 / OPERATIONAL :LEX C4))
    :SET-NAME   |penman-primer|
)

Return to index.