L 2 gives a characterization of the strong generative capacity (SGC) of context- free languages, in the sense of Miller (1999), since it provides a logical characterization of the properties that are assigned to a string in virtue of the fact that it has a given derivation.
it does in a sense show a certain GB theory to be strongly context-free (p. 6).