इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें नाममात्र-प्रकारित भाषाएँ आम तौर पर यह आवश्यकता लागू करती हैं कि घोषित उपप्रकार संरचनात्मक रूप से संगत हों (हालांकि Eiffel असंगत उपप्रकारों को घोषित करने की अनुमति देता है) ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "नाममात्र-प्रकारित भाषाएं आम तौर पर यह आवश्यकता लागू करती हैं कि घोषित उपप्रकार संरचनात्मक रूप से संगत हों (हालांकि आइफेल गैर-संगत उपप्रकारों को घोषित करने की अनुमति देता है); हालांकि उपप्रकार जो संरचनात्मक रूप से संगत हैं '' दुर्घटना से 'लेकिन उपप्रकारों के रूप में घोषित नहीं हैं, उन्हें उपप्रकार नहीं माना जाता है। "