Semantic specification for example: EX-SET-6
(EXAMPLE :NAME EX-SET-6 :GENERATEDFORM "Do they meet precisely along the edges, and do they cover most of the graph?" :TARGETFORM "Do they meet precisely along the edges, and do they cover most of the graph?" :LOGICALFORM ((M C) (M / NONDIRECTED-ACTION :LEX MEET :SPEECHACT YES-NO-QUESTION :ACTOR (O / OBJECT :PRONOUN THEY) :PARALLEL-EXTENT (E / OBJECT :LEX EDGE :NUMBER PLURAL :DETERMINER THE) :MANNER (P / QUALITY :LEX PRECISELY)) (C / ASCRIPTION :LEX COVER :SPEECHACT YES-NO-QUESTION :INCHOATIVE-Q INCHOATIVE :DOMAIN (O / OBJECT :EXPRESS-TYPE NO :IDENTIFIABILITY-Q IDENTIFIABLE :NUMBER PLURAL) :RANGE (G / OBJECT :LEX GRAPH-NOUN :DETERMINER THE :QUANTITY-SELECTION-Q QUANTITY :QUANTITY-SELECTION-ID G :CARDINAL-QUANTITY-Q NOTCARDINAL :PROPORTION-QUANTITY-Q PROPORTION :HIGH-QUANTITY-Q HIGH))) :SET-NAME |nigel-exerciseset| )