Semantic specification for example: PRIMER-41A
(EXAMPLE :NAME PRIMER-41A :GENERATEDFORM "The ship is C4." :TARGETFORM "The ship is C4." :LOGICALFORM (A / READINESS-STATUS :LEX READINESS :DOMAIN (S / SHIP :DETERMINER THE) :RANGE (C4 / OPERATIONAL :LEX C4)) :SET-NAME |penman-primer| )