Semantic specification for example: PRIMER-49B
(EXAMPLE :NAME PRIMER-49B :GENERATEDFORM "The Knox sails when the Whipple sails." :TARGETFORM "The Knox sails when the Whipple sails." :LOGICALFORM (E1 / SAIL :ACTOR (S / SHIP :NAME KNOX) :CONCURRENT (E2 / SAIL :ACTOR (S2 / SHIP :NAME WHIPPLE) :TENSE PRESENT)) :SET-NAME |penman-primer| )