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

Return to index.