"deductive reasoning in which a conclusion is derived from two premises" . . . . . . "Wordnet Synset 05787113-n" . . . . . . . .