Semantic specification for example: EX-SET-45
(EXAMPLE
:NAME EX-SET-45
:GENERATEDFORM "Therefore, she mustn't seem to be convinced by either person."
:TARGETFORM "Therefore she mustn't seem to be convinced by either person."
:LOGICALFORM
(CONVINCE / COGNITION :LEX CONVINCE :PROCESS-POLARITY-Q PROCESSNEGATIVE
:ASPECT SEEM :CONJUNCTIVE THEREFORE :MODAL-PROPERTY-ASCRIPTION
(MUST /
(NONCONDITIONAL NECESSITY))
:THEME SHE :PP-THEME SHE :PHENOMENON
(SHE / PERSON :PRONOUN SHE)
:SENSER
(PERSON / PERSON :SET-TOTALITY-Q TOTAL
:SET-TOTALITY-POLARITY-Q NEGATIVE :FULL-NEGATIVE-Q
NOTFULL :AMOUNT-ATTENTION-Q MINIMALATTENTION
:PRESUPPOSE-EXISTENCE-Q NOTPRESUPPOSED :DUALITY-Q
DUAL))
:SET-NAME |nigel-exerciseset|
)