Semantic specification for example: EX-SET-61
(EXAMPLE :NAME EX-SET-61 :GENERATEDFORM "All protection will be denied, if there are not many expressions of the idea." :TARGETFORM "All protection will be denied if there are not many expressions of the idea." :LOGICALFORM (IF / RST-LOGICAL-CONDITION :THEME P :PREFER-MENTION-MEDIUM-Q WITHHOLD :DISJUNCTIVE-EXTENSION-Q DISJUNCTIVE :DOMAIN (D / COGNITION :LEX DENY :TENSE FUTURE :SENSER ?SENSER :PHENOMENON (P / THING :LEX PROTECTION :DETERMINER ALL)) :RANGE (E / EXISTENCE :TENSE PRESENT :POLARITY NEGATIVE :NUMBER PLURAL :DOMAIN (I / THING :LEX IDEA :DETERMINER THE :POLARITY NEGATIVE :ELEMENT-OF (C / OBJECT :LEX EXPRESSION :INDEFINITE-QUANTITY MANY :NUMBER PLURAL)))) :SET-NAME |nigel-exerciseset| )