Semantic specification for example: EX-SET-78
(EXAMPLE :NAME EX-SET-78 :GENERATEDFORM "You do own that category of the computer, don't you?" :TARGETFORM "You do own that category of computer, don't you." :LOGICALFORM (OWN / OWNERSHIP :LEX OWN :TENSE PRESENT :DOMAIN (HEARER / PERSON) :MARKEDNESS-Q MARKED :RANGE (C / OBJECT :LEX COMPUTER :ELEMENT-OF (T / THING :LEX CATEGORY :DETERMINER THAT)) :CONFIRMATION-REQUEST-Q CONFIRMATIONREQUEST) :SET-NAME |nigel-exerciseset| )