Semantic specification for example: PRIMER-30B

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

Return to index.