(1)(logic) a proposition that asserts something about some (but not all) members of a class
(2)あるクラスの何人かの（すべてでない）メンバーについて何かを断言する提案