The completeness result for NL does not impose any restrictions on the interpretation of the Merge relation R. This means that the theorems and inference rules of the minimal grammar logic have the status of grammatical invariants: properties of type combination that hold no matter what the structural particularities of individual languages may be.  Here are some examples of such universally valid principles. They come in pairs, because of the left-right symmetry relating slash and backslash.