इस वाक्य का अधिक जटिल संस्करण उत्पन्न करें जब तर्क का औपचारिक रूप से अध्ययन किया जाता है, तो सामग्री सशर्त को अर्थ संबंधी परिणाम संबंध मॉडल से अलग किया जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "जब तर्क का औपचारिक रूप से अध्ययन किया जाता है, तो सामग्री सशर्त को अर्थ संबंधी परिणाम संबंध ए \\ मॉडल बी से अलग किया जाता है, यदि प्रत्येक व्याख्या जो ए को सही बनाती है, वह भी बी को सही बनाती है। "