توليد نسخة أكثر تعقيدًا من هذه الجملة الاختيار المعتاد هو أن تكون 'I' لا نهائية و 'U' تحتوي على جميع المجموعات الفرعية المحدودة لـ 'I'.
وبطبيعة الحال، فإن نسخة أكثر تعقيدًا من الجملة هي: "الخيار المعتاد هو أن تكون 'I' لا نهائية و'U' تحتوي على جميع المجموعات الفرعية المحدودة لـ 'I' ، وإلا فإن الفيلتر المتعدد هو الرئيسي ، والمنتج المتعدد هو متماثل لأحد العوامل".