Semantic specification for example: PRIMER-27C

(EXAMPLE
    :NAME   PRIMER-27C
    :GENERATEDFORM   "You should sail to Pearl Harbor on Monday."
    :TARGETFORM   "You should sail to Pearl Harbor on Monday."
    :LOGICALFORM   
(E / SAIL :ACTOR
   (HEARER / PERSON)
   :DESTINATION
   (P2 / PORT :NAME PEARL-HARBOR)
   :TEMPORAL-NONORDERING
   (D2 / DAY :NAME MONDAY)
   :MODAL-PROPERTY-ASCRIPTION
   (M /
      (CONDITIONAL NECESSITY)))
    :SET-NAME   |penman-primer|
)

Return to index.