"a line of reasoning that shows how a conclusion follows logically from accepted propositions" . "Wordnet Synset 05788715-n" . .