Semantic specification for example: EX-SET-109

(EXAMPLE
    :NAME   EX-SET-109
    :GENERATEDFORM   "The eighth system is reliable, whereas the fourth one needs some improvements."
    :TARGETFORM   "The eighth system is reliable whereas the fourth one needs some improvements."
    :LOGICALFORM   
(RST / RST-ELABORATION :LEX WHEREAS :DOMAIN
     (A / CLASS-ASCRIPTION :DOMAIN
        (S / OBJECT :LEX SYSTEM :ORDINAL EIGHTH :DETERMINER THE)
        :RANGE
        (Q / QUALITY :LEX RELIABLE))
     :RANGE
     (NEED / LIKING :LEX NEED :TEMPORAL-DEFINITENESS-SPECIFICATION-Q
           SPECIFIED :CONJUNCTIVE-EXTENSION-Q CONJUNCTIVE :SENSER
           (S1 / OBJECT :LEX SYSTEM :ORDINAL FOURTH :DETERMINER THE
               :MINIMAL-ATTENTION-Q MINIMAL :SEMANTIC-COVERAGE-Q
               COVERED)
           :PHENOMENON
           (I / SUBSTANCE :LEX IMPROVEMENT :DETERMINER SOME :NUMBER
              PLURAL)))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.