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|
)