"(logic) a statement that is necessarily true" . "Wordnet Synset 07105577-n" . .