. "a formal series of statements showing that if one thing is true something else necessarily follows from it" . . . . . . . . . . . . . . . . . . . . . . . . . "Wordnet Synset 06660359-n" . . . .