Semantic specification for example: PRIMER-3A
(EXAMPLE :NAME PRIMER-3A :GENERATEDFORM "The Knox sails until Wednesday." :TARGETFORM "The Knox sails until Wednesday." :LOGICALFORM (E / SAIL :ACTOR (S / SHIP :NAME KNOX) :UNTIL (D / DAY :NAME WEDNESDAY)) :SET-NAME |penman-primer| )