Semantic specification for example: PRIMER-4D
(EXAMPLE :NAME PRIMER-4D :GENERATEDFORM "We will be sailing to Pearl Harbor until Wednesday." :TARGETFORM "We will be sailing to Pearl Harbor until Wednesday." :LOGICALFORM (E / SAIL :ACTOR (SPEAKER / PERSON :NUMBER PLURAL) :DESTINATION (P / PORT :NAME PEARL-HARBOR) :UNTIL (D / DAY :NAME WEDNESDAY) :TENSE FUTURE-CONTINUOUS) :SET-NAME |penman-primer| )