Semantic specification for example: PRIMER-13

(EXAMPLE
    :NAME   PRIMER-13
    :GENERATEDFORM   "To San Diego the Knox will sail on Wednesday."
    :TARGETFORM   "To San Diego the Knox will sail on Wednesday."
    :LOGICALFORM   
(S1 / SAIL :THEME D1 :ACTOR
    (S / SHIP :NAME KNOX)
    :TEMPORAL-NONORDERING
    (D2 / DAY :NAME WEDNESDAY)
    :RELATIONS
    (D1 / DESTINATION :DOMAIN S1 :RANGE
        (P / PORT :NAME SAN-DIEGO))
    :TENSE FUTURE :SPEECHACT ASSERTION)
    :SET-NAME   |penman-primer|
)

Return to index.