والثّاني أن يتوقّف ثبوت المحمول للموضوع على اعتبار أمر زائد ، كتقدير ذو أو الاشتقاق ، كقولنا : زيد عدل ، أي ذو عدل أو عادل . 3 وينقسم أيضا إلى بتّيّ وغير بتّيّ . والأوّل : ما كان لموضوعه أفراد محقّقة 4 يصدق عليها بعنوانه ، كقولنا : الانسان كاتب والكاتب متحرّك الأصابع . والثاني : ما كان لموضوعه أفراد مقدّرة غير محقّقة ، كقولنا : المعدوم المطلق لا يخبر عنه 5 ، وقولنا : اجتماع النقيضين محال . 6 وينقسم أيضا إلى بسيط ومركّب ، ويسمّيان الهليّة البسيطة والهليّة المركّبة . 7