Semantic specification for example: EX-SET-46
(EXAMPLE :NAME EX-SET-46 :GENERATEDFORM "And, also, she must appear to be convinced, as if Smith was convinced." :TARGETFORM "And also she must appear to be convinced as if Smith was convinced." :LOGICALFORM (CONVINCE1 / COGNITION :LEX CONVINCE :CONJUNCTIVE ALSO :ADDITIONAL-CONJUNCTIVE-RELATION-Q CONJUNCTIVE :ADDITIONAL-CONJUNCTIVE-RELATION-ID (AND / CONJUNCTION :DISJUNCTIVE-Q NOTDISJUNCTIVE) :ASPECT APPEAR :MODAL-PROPERTY-ASCRIPTION (MUST / (NONCONDITIONAL NECESSITY)) :THEME SHE :PHENOMENON (SHE / PERSON :PRONOUN SHE) :SENSER ?SENSER :PREFER-MENTION-MEDIUM-Q WITHHOLD :PROJECTION-Q NOTPROJECTED :MANNER-CONDITION-Q MANNERCONDITION :CONDITION (CONVINCE2 / COGNITION :LEX CONVINCE :TENSE PAST :REPORT-Q NONREPORT :CONDITIONAL-RELATION-Q NOTCONDITION :CAUSAL-RELATION-Q NOTCAUSALRELATION :MANNER-Q MANNER :PHENOMENON (SMITH / PERSON :NAME SMITH) :SENSER ?SENSER :APPEARANCE-Q (CONVINCE2) NONAPPEARANCE :PREFER-MENTION-MEDIUM-Q WITHHOLD)) :SET-NAME |nigel-exerciseset| )