Semantic specification for example: PRIMER-43

(EXAMPLE
    :NAME   PRIMER-43
    :GENERATEDFORM   "That ship is named Kennedy."
    :TARGETFORM   "That ship is named Kennedy."
    :LOGICALFORM   
(X / NAME-EVENT :ACTEE
   (S / SHIP :DETERMINER THAT)
   :RESULT
   (N / NAME :NAME KENNEDY))
    :SET-NAME   |penman-primer|
)

Return to index.