Semantic specification for example: PRIMER-4A

(EXAMPLE
    :NAME   PRIMER-4A
    :GENERATEDFORM   "The Knox, the Fanning and the Whipple sail until Wednesday."
    :TARGETFORM   "The Knox, the Fanning and the Whipple sail until Wednesday."
    :LOGICALFORM   
(E / SAIL :ACTOR
   ((S1 / SHIP :NAME KNOX) 
    (S2 / SHIP :NAME FANNING)
    (S3 / SHIP :NAME WHIPPLE))
   :UNTIL
   (D / DAY :NAME WEDNESDAY))
    :SET-NAME   |penman-primer|
)

Return to index.