Semantic specification for example: EX-SET-28

(EXAMPLE
    :NAME   EX-SET-28
    :GENERATEDFORM   "It is true that the computer is more efficient than a person."
    :TARGETFORM   "It is true that the computer is more efficient than a person."
    :LOGICALFORM   
(BE / ASCRIPTION :CLASS-Q NONCLASS :PROPOSITIONALITY-Q PROPOSITIONAL
    :TENSE PRESENT :DOMAIN
    (COMPARE / GREATER-THAN-COMPARISON :TENSE PRESENT :EXCEED-Q
             (COMPARE P)
             EXCEED :COMMAND-OFFER-Q NOTCOMMANDOFFER :PROPOSAL-Q
             NOTPROPOSAL :DOMAIN
             (COMPUTER / OBJECT :LEX COMPUTER :DETERMINER THE)
             :STANDARD
             (P / PERSON :LEX PERSON :DETERMINER A)
             :RANGE
             (EFF / BEHAVIORAL-QUALITY :LEX EFFICIENT))
    :RANGE
    (TRUE / ABSTRACTION :LEX TRUE))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.