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