"(logic) a proposition that asserts something about some (but not all) members of a class" . "Wordnet Synset 06763856-n" . .