Semantic specification for example: PRIMER-3A

(EXAMPLE
    :NAME   PRIMER-3A
    :GENERATEDFORM   "The Knox sails until Wednesday."
    :TARGETFORM   "The Knox sails until Wednesday."
    :LOGICALFORM   
(E / SAIL :ACTOR
   (S / SHIP :NAME KNOX)
   :UNTIL
   (D / DAY :NAME WEDNESDAY))
    :SET-NAME   |penman-primer|
)

Return to index.