Semantic specification for example: PRIMER-12

(EXAMPLE
    :NAME   PRIMER-12
    :GENERATEDFORM   "Tomorrow it will sail to San Diego."
    :TARGETFORM   "Tomorrow it will sail to San Diego."
    :LOGICALFORM   
(S1 / SAIL :THEME T1 :ACTOR
    (S / SHIP :EXPRESS-TYPE NO :IDENTIFIABILITY-Q IDENTIFIABLE :NUMBER
       SINGULAR)
    :RELATIONS
    (T1 / TEMPORAL-NONORDERING :DOMAIN S1 :RANGE
        (D / TOMORROW :NAME TOMORROW))
    :DESTINATION
    (P / PORT :NAME SAN-DIEGO)
    :TENSE FUTURE)
    :SET-NAME   |penman-primer|
)

Return to index.