इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें यह'' P'(''A ') / ~ एक अर्धसमूह बनाता है जिसमें रद्द करने की संपत्ति होती है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "यह '' K 0 '' (' 'A' ') एक आदेशित समूह बनाता है जिसका सकारात्मक शंकु '' K 0'(' 'A' ') + है। "