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