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