The study deals with the forms and functions of grammatical statements and with the problem of restricting the axiomatic basis of grammar in such a way as to achieve a maximally general and maximally revealing explanation of natural language data. The primary restriction proposed is the requirement that every well-formed grammatical statement must be an assertion of the equivalence or non-equivalence of two linguistic representations. The treatment is essentially semantic in nature.