«ہر انسان حیوان ہے» سے «بعض حیوان انسان ہیں» بنانے میں انسانوں کا موجود ہونا پیشِ نظر ہے۔ روایتی منطق کے اس نصابی استدلال میں بحث ایسی جماعتوں کی مثالوں سے چلتی ہے جن کے افراد پائے جاتے ہیں۔
موجبہ کلیہ بتاتی ہے کہ موضوع کا ہر فرد محمول میں داخل ہے۔ موجبہ جزئیہ بتاتی ہے کہ کم از کم ایک متعلقہ فرد دونوں میں مشترک ہے۔
جدید صوری منطق میں خالی جماعتوں کے بارے میں کلی قضیے کی تعبیر مختلف ہو سکتی ہے؛ لیکن اس سبق میں المرقاة کا مقرر کردہ کلاسیکی قاعدہ پڑھا جا رہا ہے۔ اس فرق کو نظر انداز کر کے کتابی استدلال کی بنیاد نہیں بدلنی چاہیے۔