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|
)