Semantic specification for example: PRIMER-50
(EXAMPLE :NAME PRIMER-50 :GENERATEDFORM "The length of the Knox exceeds the length of the Whipple." :TARGETFORM "The length of the Knox exceeds the length of the Whipple." :LOGICALFORM (E1 / EXCEED :MEASURE-Q MEASURE :MEASURE-TYPE-Q DIMENSION :DOMAIN (L1 / LENGTH :DOMAIN (S1 / SHIP :NAME KNOX) :DETERMINER THE) :RANGE (L1 / LENGTH :DOMAIN (S2 / SHIP :NAME WHIPPLE) :DETERMINER THE)) :SET-NAME |penman-primer| )