इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें रोसर विरोधाभास संयोजी तर्क में रिचर्ड के विरोधाभास का एक कार्यान्वयन है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "रोसर विरोधाभास रिचर्ड के विरोधाभास का एक कार्यान्वयन है जो संयोजक तर्क में है जो लैम्ब्डा कैलकुलस से निकटता से संबंधित है".