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