इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें मुक्त सिद्धांतों के लिए निर्णय समस्या एक संतोषजनकता समस्या है, और इसे वाक्यविन्यासिक एकीकरण द्वारा हल किया जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "मुक्त सिद्धांतों के लिए निर्णय की समस्या को वाक्यविन्यासिक एकीकरण के रूप में जाना जाता है, और विशेष रूप से महत्वपूर्ण है, क्योंकि कई अन्य सिद्धांतों को इसके लिए कम किया जा सकता है। "