وباختصار، اقترح أنه يجب أن يكون من الممكن التمييز بين عدد محدود من ملامح متميزة النحوية للغة، ولكل منهما تفسير أعماله بطريقة مثل لتوليد تافهة (الصحيح الواضح) البيانات من الشروط الحقيقة من جميع و(وكثير ما لا نهاية) الأحكام الاستفادة من هذه الميزة.
In sum, he proposed that it must be possible to distinguish a finite number of distinct grammatical features of a language, and for each of them explain its workings in such a way as to generate trivial (obviously correct) statements of the truth conditions of all the (infinitely many) sentences making use of that feature.