Semantic specification for example: PRIMER-16C
(EXAMPLE :NAME PRIMER-16C :GENERATEDFORM "The ship that will sail to Pearl Harbor is operational." :TARGETFORM "The ship that will sail to Pearl Harbor is operational." :LOGICALFORM (E1 / READINESS-STATUS :DOMAIN (S / SHIP :DETERMINER THE :PROCESS (S1 / SAIL :ACTOR S :DESTINATION (P / PORT :NAME PEARL-HARBOR) :TENSE FUTURE)) :RANGE (R / OPERATIONAL)) :SET-NAME |penman-primer| )