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