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

Return to index.