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