Semantic specification for example: PRIMER-4C

(EXAMPLE
    :NAME   PRIMER-4C
    :GENERATEDFORM   "The Knox, the Fanning and the Whipple sail to Pearl Harbor and San Diego."
    :TARGETFORM   "The Knox, the Fanning and the Whipple sail to Pearl Harbor and San Diego."
    :LOGICALFORM   
(E / SAIL :ACTOR
   ((S1 / SHIP :NAME KNOX) 
    (S2 / SHIP :NAME FANNING)
    (S3 / SHIP :NAME WHIPPLE))
   :DESTINATION
   ((P1 / PORT :NAME PEARL-HARBOR) 
    (P2 / PORT :NAME SAN-DIEGO)))
    :SET-NAME   |penman-primer|
)

Return to index.