. . . . . "Wordnet Synset 06765744-n" . . . "the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)" . .