Semantic specification for example: EX-SET-7
(EXAMPLE :NAME EX-SET-7 :GENERATEDFORM "Do they meet precisely, i.e. are the lines even enough?" :TARGETFORM "Do they meet precisely, i.e. are the lines even enough?" :LOGICALFORM (RST / (RST-ELABORATION RESTATEMENT) :DOMAIN (M / NONDIRECTED-ACTION :LEX MEET :SPEECHACT YES-NO-QUESTION :ACTOR (O / OBJECT :EXPRESS-TYPE NO :IDENTIFIABILITY-Q IDENTIFIABLE :NUMBER PLURAL) :MANNER (P / QUALITY :LEX PRECISELY)) :RANGE (C / SCALED-COMPARISON :SPEECHACT YES-NO-QUESTION :DOMAIN (L / OBJECT :LEX LINE :NUMBER PLURAL :DETERMINER THE) :STANDARD E :RANGE (E / SCALABLE-QUALITY :LEX EVEN-ADJ :PROCESS-Q PROCESS :MAXIMUM-Q NONMAXIMUM :MARKED-PROPERTY-Q UNMARKED :STANDARD-MENTION-Q WITHHOLD :PROPER-SUBSET-Q PROPER))) :SET-NAME |nigel-exerciseset| )