Semantic specification for example: PRIMER-30A
(EXAMPLE :NAME PRIMER-30A :GENERATEDFORM "The three ships sail to Pearl Harbor on Monday." :TARGETFORM "The three ships sail to Pearl Harbor on Monday." :LOGICALFORM (E / SAIL :ACTOR (S / SHIP :QUANTITY 3 :DETERMINER THE) :DESTINATION (P / PORT :NAME PEARL-HARBOR) :TEMPORAL-NONORDERING (D2 / DAY :NAME MONDAY)) :SET-NAME |penman-primer| )