Semantic specification for example: EX-SET-7

(EXAMPLE
    :NAME   EX-SET-7
    :GENERATEDFORM   "Do they meet precisely, i.e. are the lines even enough?"
    :TARGETFORM   "Do they meet precisely, i.e. are the lines even enough?"
    :LOGICALFORM   
(RST /
     (RST-ELABORATION RESTATEMENT)
     :DOMAIN
     (M / NONDIRECTED-ACTION :LEX MEET :SPEECHACT YES-NO-QUESTION :ACTOR
        (O / OBJECT :EXPRESS-TYPE NO :IDENTIFIABILITY-Q IDENTIFIABLE
           :NUMBER PLURAL)
        :MANNER
        (P / QUALITY :LEX PRECISELY))
     :RANGE
     (C / SCALED-COMPARISON :SPEECHACT YES-NO-QUESTION :DOMAIN
        (L / OBJECT :LEX LINE :NUMBER PLURAL :DETERMINER THE)
        :STANDARD E :RANGE
        (E / SCALABLE-QUALITY :LEX EVEN-ADJ :PROCESS-Q PROCESS
           :MAXIMUM-Q NONMAXIMUM :MARKED-PROPERTY-Q UNMARKED
           :STANDARD-MENTION-Q WITHHOLD :PROPER-SUBSET-Q PROPER)))
    :SET-NAME   |nigel-exerciseset|
)

Return to index.