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