. . "Wordnet Synset 00668804-v" . . . . "prove negative; show to be false" . . . .