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