خلص نسخة أكتر تعقيداً من هالجملة. أبسط تقسيم بيعمل عن طريق طريقة الشكل العادي المفرق.
بطبيعة الحال، نسخة أكتر تعقيد من الجملة هيي "أبسط تقسيم هيي مع نهج الشكل العادي المنقسم بحيث التعبيرات المنطقية اللي بتوصف سلوك النظام بتتحول إلى الشكل العادي المنقسم".