Semantic specification for example: PRIMER-29
(EXAMPLE :NAME PRIMER-29 :GENERATEDFORM "On Monday the Knox will sail to San Diego." :TARGETFORM "On Monday the Knox will sail to San Diego." :LOGICALFORM (S1 / SAIL :THEME T1 :ACTOR (S / SHIP :NAME KNOX) :RELATIONS (T1 / TEMPORAL-NONORDERING :DOMAIN S1 :RANGE (D / DAY :NAME MONDAY)) :DESTINATION (P / PORT :NAME SAN-DIEGO) :TENSE FUTURE) :SET-NAME |penman-primer| )