Semantic specification for example: PRIMER-4B
(EXAMPLE :NAME PRIMER-4B :GENERATEDFORM "They will sail to Pearl Harbor." :TARGETFORM "They will sail to Pearl Harbor." :LOGICALFORM (E / SAIL :ACTOR (S / SHIP :EXPRESS-TYPE NO :IDENTIFIABILITY-Q IDENTIFIABLE :NUMBER PLURAL) :DESTINATION (P / PORT :NAME PEARL-HARBOR) :TENSE FUTURE) :SET-NAME |penman-primer| )