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

Return to index.