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