"(logic) a statement of something (a fact or thing or expression) to be explained" . "Wordnet Synset 06751572-n" . .