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