"of a proposition that is necessarily true independent of fact or experience" . "Wordnet Synset 00111664-a" . .