Semantic specification for example: EX-SET-60
(EXAMPLE :NAME EX-SET-60 :GENERATEDFORM "However, in the presence of an expression this protection will be denied, if there is one way to express the thought." :TARGETFORM "However, in the presence of an expression this protection will be denied if there is one way to express the thought." :LOGICALFORM (RST / RST-LOGICAL-CONDITION :THEME C :CONJUNCTIVE HOWEVER :PREFER-MENTION-MEDIUM-Q WITHHOLD :DISJUNCTIVE-EXTENSION-Q DISJUNCTIVE :DOMAIN (D / COGNITION :LEX DENY :TENSE FUTURE :SENSER ?SENSER :PHENOMENON (P / THING :LEX PROTECTION :DETERMINER THIS) :ORDERING-Q BEFORE :NONEXHAUSTIVE-DURATION (C / OBJECT :LEX EXPRESSION :DETERMINER A :ELEMENT-OF (P / THING :LEX PRESENCE :DETERMINER THE))) :RANGE (E / EXISTENCE :TENSE PRESENT :DOMAIN (WAY / ABSTRACTION :DETERMINER ONE :LEX WAY :PROCESS (EX / COGNITION :LEX EXPRESS :SENSER EX :PHENOMENON (T / THING :LEX THOUGHT :DETERMINER THE))))) :SET-NAME |nigel-exerciseset| )