او این نوع اسمهای خاص را "تشریحات معلومدار اختصار شده" (تیوری تشریحات را ببینید) تعریف کردند.