Semantic specification for example: REUTERS23
(EXAMPLE :NAME REUTERS23 :GENERATEDFORM "The pay-off would be large." :TARGETFORM "The pay-off would be large." :LOGICALFORM (PROPERTY / SIZE-PROPERTY-ASCRIPTION :DOMAIN (PAYOLA / OBJECT :LEX PAY-OFF :DETERMINER THE) :RANGE (LARGE / SIZE :LEX LARGE) :MODALITY WOULD) :SET-NAME |reuters| )