Semantic specification for example: PRIMER-30C

(EXAMPLE
    :NAME   PRIMER-30C
    :GENERATEDFORM   "Exactly three ships sail to Pearl Harbor on Monday."
    :TARGETFORM   "Exactly three ships sail to Pearl Harbor on Monday."
    :LOGICALFORM   
(E / SAIL :ACTOR
   (S / SHIP :EXACTLY 3)
   :DESTINATION
   (P / PORT :NAME PEARL-HARBOR)
   :TEMPORAL-NONORDERING
   (D2 / DAY :NAME MONDAY))
    :SET-NAME   |penman-primer|
)

Return to index.