"(logic) a proposition that asserts something of all members of a class" . "Wordnet Synset 06764081-n" . .